A history of CLU

2nd ACM SIGPLAN Conference on History of Programming Languages, HOPL 1993

Volumn , Issue , 1993, Pages 133-147

  Liskov, Barbara ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA ABSTRACTION; EXCEPTION HANDLING MECHANISM; ITERATORS; PARAMETERIZED TYPES; PROGRAMMING METHODOLOGY;

ABSTRACTING;

EID: 85033219712     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/154766.155367     Document Type: Conference Paper

References (93)

1. [Aiello, 1974] Aiello, Jack, An Investigation of Current Language Support for the Data Requirements of Structured Programming, Technical Memo MIT/LCS/TM-51, MIT Laboratory tor Computer Science, Cambridge, MA, September 1974.
2. [Anantharaman, 1989] Anantharaman, S., J. Hsieng, and J. Mzali, SbReve2: A Term Rewriting Laboratory with AC- Untailing Completion, in Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, 1989. Lecture Notes in Computer Science, 355, Springer-Verlag.
3. [Arkko, 1989] Arkko, J., V. Hirvisalo, J. Kuusela. E. Nuutila and M. Tamminen, XE Reference Manual (XE Version 1.0), 1989. Dept. ot Computer Science, Helsinki University ot Technology, Helsinki, Finland.
4. [Atkinson, 1975] Atkinson, Russell, Toward More General Iteration Methods in CLU. CLU Design Note 54, Programming Methodology Group, MIT Laboratory tor Computer Science, Cambridge, MA, September 1975.
5. [Bacon, 1988a] Bacon J., and K. Hamilton, Distributed Computing with RPC: The Cambridge Approach, in Barton, M., et al., eds., Proceedings of IFIPS Conference on Distributed Processing, North Holland, 1988.
6. [Bacon, 1988b] Bacon J., I. Leslie, and R. Needham, Distributed Computing with a Processor Bank, in Proceedings of Workshop on Distributed Computing, Berlin: 1988. Also Springer Verlag Lecture Notes in Computer Science, 433, 1989.
7. [Balzer, 1967] Balzer, Robert M. Dataless Programming, in Fait Joint Computer Conference, 1967.
8. [Berzins, 1979] Berzins, Valdis, Abstract Model Specifications for Data Abstractions, Technical Report MIT/LCS/TR-221, MIT Laboratory for Computer Science, Cambridge, MA, July 1979.
9. [Cardelli, 1988] Cardelli, Luca, A Semantics of Multiple Inheritance, Information and Computation, 76, 1988, 138-164.
10. [Chambers, 1990] Chambers, Craig, and David Ungar, Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs, in Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, June 1990.
11. [Clark, 1985] Clark, David, The Structuring of Systems Using Upcalls, in Proceedings of the Tenth ACM Symposium on Operating Systems Principles, Orcas Island, WA: ACM 1985.
12. [Cooper, 1987] Cooper, R. Pilgrim: A Debugger tor Distributed Systems, in Proceedings of IEEE 7th ICDCS, Berlin: 1987.
13. [Craft. 1983] Craft, D., Resource Management in a Decentralised System, Operating Systems Review, 17:5, June 1983, 11-19.
14. [Dahl, 1970] Dahl, O.-J., B. Myhrhaug, and K. Nygaard; The Simula 67 Common Base Language. Publication No. 5-22, Norwegian Computing Center, Oslo, 1970.
15. [Dennis, 1974] Dennis, Jack, and Barbara Liskov, Semantic Foundations lor Structured Programming, Proposal to National Science Foundation, 1974.
16. [Dennis 1975] Dennis, Jack, A First Version ot a Data Flow Procedure Language. Project MAC Technical Memorandum 66, Cambridge, MA: MIT Laboratory (or Computer Science. May 1975. Also published in Proceedings ot Symposium on Programming, Institut de Programmation, University of Paris, Paris. France, April 1974, 241-271.
17. [Dijkstra, 1968a]. Dijkstra, Edsger W. Go To Statement Considered Harmful, Communications of the ACM. 11 J. March 1968, 147-148.
18. [Dijkstra. 1968b] Dijkstra, Edsger W., The Structure of the "THE"-multiprogramming System, Communications ottne ACM, 11:5, May 1968, 341-346.
19. [Dijkstra 1969] Dijkstra, Edsger W Notes on Structured Programming, in Structured Programming. Academic Press, 1969.
20. [Earley, 1971] Earley, Jay. Toward an Understanding of Data Structures, Communications of the ACM. 14:10, October 1971, 617-627.
21. [Falley 1977] Faltey, Stuart W and Greg Pfister, MDL - Primer and Manual. MIT Laboratory tor Computer Science, Cambridge, MA, 1977.
22. [Gariand, 1990] Gariand, Stephen, John Guttag, and James Horning, Debugging Larch Shared Language Specifications, IEEE Transactions on Software Engineering, 16:9, September 1990, 1044-1057.
23. [Goguen 9175] Goguen, J.A, J W Thatcher, E. G. Wagner, and J. B. Wright, Abstract Data-types as Initial Algebras and Correctness ol Data Representations, in Proceedings of Conference on Computer Graphics. Pattern Recognition and Data Structure. May 1975.
24. [Goodenough, 1975] Goodenough, John, Exception Handling: Issues and a Proposed Notation, Communications ot the ACM, 18, December 1975, 683-696.
25. [Guttag, 1975] Guttag, john, The Specification and Application to Programming of Abstract Data Types. Technical Report CSRG-59, Computer Systems Research Group, University of Toronto, Canada, 1975.
26. [Guttag, 1980] Guttag, John, Notes on Type Abstraction (Version 2), IEEE Transactions on Software Engineering, SE-6:1, January 1980, 13-23.
27. [Guttag, 1977] Guttag, John Abstract Data Types and the Development of Data Structures, Communications ot the ACM, 20:6, June 1977. Also in Proceedings of Conference on Data: Abstraction. Definition and Structure, Salt Lake City, UT, March 1976.
28. [Herlihy, 1982] Herlihy, Maurice, and Barbara Liskov, A Value Transmission Method for Abstract Data Types, ACM Transactions on Programming Languages and Systems, 4:4, October 1982, 527-551.
29. [Hoare, 1972] Hoare C.A. R., Proof ot Correctness of Data Representations, Acta Intormatica. 4, 1972, 271-281.
30. [Horning, 1991] Horning, James, Private Communication, 1991.
31. [Ichbiah, 1973]Ichbiah, Jean, J. Rissen, and J Heliard, The Two-Level Approach to Data Definition and Space Management in the LIS System Implementation Language, in Proceedings of ACM SIGPLAN- SIGOPS Interface Meeting - Programming Languages-Operating Systems, Savannah, GA: ACM, April 1973.
32. [Kimura, 1992] Kimura, Izumi, Private Communication, 1992.
33. [Lampson, 1974] Lampson, Butler. James Mitchell, and Edward Satterthwaite. On the Transfer of Control Between Contexts, in Proceedings of Symposium on Programming, Institut de Programmation, University of Paris, Paris, France: 1974.
34. [Landin, 1964] Landin, Peter, The Mechanical Evaluation of Expressions, Computer Journal, 6.4, Januaty 1964, 308-320.
35. [Levin, 1977] Levin, Roy, Program Structures for Exceptional Condition Handling, Ph.D. dissertation, Dept. ol Computer Science, Carnegie Mellon University, Pittsburgh, PA, 1977.
36. [Liskov, 1972a] Liskov, Barbara A Design Methodology for Reliable Software Systems, in Proceedings of Fall Joint Computer Conference 41, Part 1, IEEE, December 1972. Also published in Tutorial on Software Design Techniques, Peter Freeman and A. Wasserman, Eds., IEEE, 1977, 53-61.
37. [Liskov, 1972b]Liskov, Barbara, The Design of the Venus Operating System, Communications ot the ACM. 15:3, March 1972. Also published in Software Systems Principles: A Survey, Peter Freeman. SRA Associates, Inc., Chicago 1975, 542-553.
38. [Liskov, 1973b]Liskov, Bartlara, Report of Session on Structured Programming, in Proceedings of ACM SIGPLAN- SIGOPS Interface Meeting - Programming Languages-Operating Systems. Savannah, GA: ACM, April 1973.
39. [Liskov, 1973b] Liskov, Barbara, Fundamental Studies Group Progress Report, in Project MAC Progress Report X. Cambridge, MA: MIT Laboratory tor Computer Science 1973.
40. [Liskov, 1973c]Liskov, Barbara, and Stephen Zilles, An Approach to Abstraction, Computation Structures Group Memo 88, MIT Laboratory tor Computer Science, Cambridge, MA, September 1973.
41. [Liskov, 1974a] Liskov, Barbara, and Stephen Zilles, Programming with Abstract Data Types, in Proceedings of ACM SIGPLAN Conference on Very High Level Languages, ACM 1974.
42. [Liskov, 1974b] Liskov, Barbara, Fundamental Studies Group Progress Report, in Project MAC Progress Report XI, Cambridge, MA: MIT Laboratory for Computer Science 1974.
43. [Liskov, 1974c] Liskov, Barbara, A Note on CLU. Computation Structures Group Memo 112, Laboratory tor Computer Science. MIT, Cambridge, MA, November 1974.
44. [Liskov, 1975a] Liskov, Barbara, Multiple Implementation ot a Type, CLU Design Note 53, Cambridge, MA: MIT Laboratory for Computer Science, July 1975.
45. [Liskov, 1975b] Liskov, Barbara, Fundamental Studies Group Progress Report, in Laboratory tor Computer Science Progress Report XII, Cambridge, MA: MIT Laboratory for Computer Science 1975.
46. [Liskov, 1976] Liskov, Barbara, Introduction lo CLU, in S. A. Schuman, ed., New Directions in Algorithmic Languages 1975, INRIA, 1976.
47. [Liskov, 1977a] Liskov, Barbara, Programming Methodology Group Progress Report, in Laboratory for Computer Science Progress Report XIV, Cambridge, MA: MIT Laboratory for Computer Science 1977.
48. [Liskov, 1977b] Liskov, Barbara, and Alan Snyder, Structured Exception Handling, Computation Structures Group Memo 155, MIT Laboratory for Computer Science, Cambridge, MA, December 1977.
49. [Liskov, 1977c] Liskov, Barbara, Alan Snyder, Russell Atkinson, and J. Craig Schaffert, Abstraction Mechanisms in CLU, Communications ot the ACM, 20:8, August 1977, 564-576. Also published as Computation Structures Group Memo 144-1, MIT Laboratory for Computer Science, Cambridge, MA, January 1977.
50. [Liskov, 1978a) Liskov, Barbara, Russell Atkinson, Toby Bloom, J. Eliot Moss, J. Craig Schaffert, Robert Scheiller, and Alan Snyder, CLU Reference Manual, Computation Structures Group Memo 161, MIT Laboratory for Computer Science, Cambridge, MA, July 1978.
51. [Liskov, 1978b] Liskov, Barbara, Russell Atkinson, and Robert Scheiller, Aspects of Implementing CLU, in Proceedings of the Annual Conference, ACM 1978.
52. [Liskov, 1979a] Liskov, Barbara, Modular Program Construction Using Abstractions, Computation Structures Group Memo 184, MIT Laboratory for Computer Science, Cambridge, MA, September 1979.
53. [Liskov, 1979b] Liskov, Barbara, and Alan Snyder, Exception Handling in CLU. IEEE Transactions on Software Engineering, SE-5:6, November 1979, 546-558.
54. [Liskov, 1979c] Liskov, Barbara, Russell Atkinson, Toby Bloom, J. Eliot Moss, J. Craig Schaffert, Robert Scheiller, and Alan Snyder, CLU Reference Manual, Technical Report MIT/LCS/TR-225, MIT Laboratory lor Computer Science, Cambridge, MA, October 1979.
55. [Liskov, 1983] Liskov, Barbara, and Robert Scheifler, Guardians and Actions: Linguistic Support lor Robust, Distributed Programs, ACM Transactions on Programming Languages and Systems, 5:3, July 1983, 381-404.
56. [Liskov, 1984) Liskov, Barbara, Russell Atkinson, Toby Bloom, J. Eliot Moss, J. Craig Schaffert, Robert Scheiller, and Alan Snyder, CLU Reference Manual, Springer-Veilag, 1984. Also published as Lecture Notes in Computer Science 114, G. Goos and J. Hartmanis, Eds., Springer-Verlag, 1981.
57. [Liskov, 1986] Liskov, Barbara, and John Guttag, Abstraction and Specification in Program Development, MIT Press and McGraw Hill, 1986.
58. [Liskov, 1988] Liskov, Barbara, Distributed Programming in Argus, Communications of the ACM, 31:3, March 1988, 300-312.
59. [Liskov, 1992] Liskov, Barbara, Preliminary Design of the Thor Object-Oriented Database System, Programming Methodology Group Memo 74, MIT Laboratory for Computer Science, Cambridge, MA, March 1992.
60. [McKeag, 1973] McKeag, R. M., Programming Languages for Operating Systems, in Proceedings of ACM SIGPLAN-SIGOPS Interlace Meeting - Programming Languages-Operating Systems, Savannah, GA: ACM, April 1973.
61. [Milner, 1990] Milner, Robin, M. Tofte, and R. Harper, The Definition of Standard ML, Cambridge, MA: MIT Press, 1990.
62. [Mitchell, 1978] Mitchell, James G., W. Maybury, and R. Sweet, Mesa Language Manual, Technical Report CSL-78-1, Xerox Research Center, Palo Alto, CA, February 1978.
63. [Morris, 1973a] Moms, James H. Jr., Protection in Programming Languages, Communications of the ACM, 16:1. January 1973, 15-21.
64. [Morris, 1973b] Mom's, James H Jr., Types are Not Sets, in Proceedings ot the Symposium on Principles of Programming Languages, ACM 1973.
65. [Moss, 1978] Moss, J. Eliot, Abstract Data Types in Stack Based Languages, Technical Report MIT/LCS/TR-190, Cambridge, MA: MIT Laboratory for Computer Science, February 1978.
66. [Nelson, 1991] Nelson, Greg, Private Communication, 1991.
67. [Palme, 1973] Palme, Jacob, Protected Program Modules in Simula 67, FOAP Report C8372-M3 (E5). Stockholm, Sweden: Research Institute ot National Defence, Division of Research Planning and Operations Research, July 1973.
68. [Parnas, 1971] Parnas, David, Information Distribution Aspects of Design Methodology, in Proceedings of IFIP Congress. North Holland Publishing Co., 1971.
69. [Parnas, 1972a] Parnas, David, On the Criteria to be Used in Decomposing Systems into Modules, Communications of the ACM, 15:12, December 1972, 1053-1058.
70. [Parnas, 1972b] Parnas, David, A Technique for the Specification of Software Modules with Examples, Communications of the ACM, 15, May 1972, 330-336.
71. [PMG, 1979a] Programming Methodology Group, CLU Design Notes, MIT Laboratory for Computer Science, Cambridge, MA, 1973-1979.
72. [PMG, 1979b] Programming Methodology Group, CLU Design Meeting Minutes, MIT Laboratory for Computer Science, Cambridge, MA, 1974-1979.
73. [Randell, 1969] Randell, Brian, Towards a Methodology ot Computer Systems Design, in P. Naur and B Randell ed Software Engineering, NATO Science Committee, 1969.
74. [Ross, 1970] Ross, Douglas T Uniform Referents. An Essential Property for a Software Engineering Language in J. T. Tou, ed., Software Engineering, Academic Press, 1970.
75. [Schaffert, 1978] Schaffert, J. Craig, A Formal Definition of CLU, Technical Report MIT/LCS/TR-193 MIT Laboratory for Computer Science, Cambridge, MA, January 1978.
76. (Schaffert, 1986] Schaffert, Craig, T. Cooper, B. Bullis, M. Kilian and C. Wilpolt, An Introduction to Trellis/Owl in Proceedings of ACM Conference on Object Oriented Systems, Languages and Applications Portland, OR: September 1986.
77. [Scheifler, 1976] Scheifler, Robert, An Analysis of Inline Substitution for a Structured Programming Language, S.B Thesis, Department ot Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, MA, 1976.
78. [Scheifler, 1977] Scheifler, Robert, An Analysis of Inline Substitution for a Structured Programming Language Communications of the ACM, 20:9, September 1977.
79. [Scheifler, 1978] Scheifler, Robert, A Denotational Semantics ot CLU. Technical Report MIT/LCS/TR-201 MIT Laboratory for Computer Science, Cambridge, MA, June 1978.
80. [Shaw, 1976] Shaw, Mary, William Wulf, and Ralph London, Carnegie Mellon University and USC Information Sciences Institute Technical Reports, Abstraction and Verification in ASphard: Iteration and Generators. August 1976.
81. [Shaw, 1977] Shaw, Mary, William Wulf, and Ralph London, Abstraction and Verification in Alphard. Detining and Specifying Iteration and Generators, Communications of the ACM. 20.8, August 1977.
82. [Shaw, 1981] Shaw, Mary, ed., ALPHARD. Form and Content, Springer-Verlag, 1981.
83. [Snyder, 1975] Snyder, Alan and Russell Atkinson, Preliminary CLU Reference Manual, CLU Design Note 39 Programming Methodology Group, MIT Laboratory for Computer Science, Cambridqe MA January 1975.
84. [Spitzen, 1975] Spitzen, Jay, and Ben Wegbreit, The Verification and Synthesis of Data Structures Acta informatics, 4, 1975, 127-144.
85. [Wegbreit, 1972] Wegbreil Ben, D., Brosgol, G., Holtoway, Charles Prenner and Jay, Spitzen, ECL Programmer's Manual Center fur Research in Computing Technology, Harvard University, Cambridge, MA, 1972.
86. [Wegbreit, 1973] Wegbreit, Ben, The Treatment of Data Types in EL 1. Center for Research in Computing Technology Harvard University, Cambridge, MA, 1973.
87. [Wirth, 1971] Wirth, Niklaus, Program Development by Stepwise Refinement, Communications of the ACM, 14:4, April 1971, 221-227.
88. [Wulf, 1973] Wulf, William, and Mary Shaw, Global Variables Considered Harmful SIGPLAN Notices 8 2 February 1973, 28-34.
89. [Wulf, 1976] Wulf William, Ralph London, and Mary Shaw, An Introduction to the Construction and Verification of Alphard Programs, IEEE Transactions on Software Engineering. SE-2:4, December 1976, 253-265. Presented at Second International Conference on Software Engineering, October 1976.
90. [Zilles, 1973] Zilles Stephen, Procedural Encapsulation: A Linguistic Protection Technique, in Proceedings of ACM SIGPLAN-SIGOPS Interface Meeting - Programming Languages-Operating Systems Savannah, GA: ACM, April 1973.
91. [Zilles, 1974a] Zilles, Stephen, Computation Structures Group Progress Report, in Project MAC Progress Report XI, Cambridge, MA: MIT Laboratory for Computer Science 1974.
92. [Zilles, 1974b] Zilles, Stephen, Working Notes on Error Handling. CLU Design Note 6, Cambridge MA MIT Laboratory for Computer Science, January 1974.
93. [Zilles, 1975] Zilles, Stephen, Algebraic Specification of Data Types. Computation Structures Group Memo 119 Cambridge, MA: MIT Laboratory tor Computer Science, March 1975.