Abstraction Mechanisms in CLU

Communications of the ACM

Volumn 20, Issue 8, 1977, Pages 564-576

  Liskov, Barbara ^a   Snyder, Alan ^a   Atkinson, Russell ^a   Schaffert, Craig ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

control abstractions; data abstractions; data types; programming languages; programming methodology; separate compilation

Indexed keywords

COMPUTER PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0017526283     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/359763.359789     Document Type: Article

References (24)

1. Allen, F.E., and Cocke, J. A catalogue of optimizing transformations. Rep. RC 3548. IBM Thomas J. Watson Res. Ctr., Yorktown Heights, N.Y., 1971.
2. Allen, F.E. A program data flow analysis procedure. Rep. RC 5278, IBM Thomas J. Watson Res. Ctr., Yorktown Heights, N.Y., 1975.
3. Atkinson, R.R. Optimization techniques for a structured programming language. S.M. Th., Dept. of Electr. Eng. and Comptr. Sci., M.I.T., Cambridge, Mass., June 1976.
4. Dahl, O.J., Myhrhaug, B., and Nygaard, K. The SIMULA 67 common base language. Pub. S-22, Norwegian Comptng. Ctr., Oslo, 1970.
5. DeRemer, F., and Kron, H. Programming-in-the-large versus programming-in-the-small. Proc. Int. Conf. on Reliable Software, SIGPLAN Notices 10, 6 (June 1975), 114-121.
6. Dijkstra, E.W. Notes on structured programming. Structured Programming, A.P.I.C. Studies in Data Processing No. 8, Academic Press, New York, 1972, pp. 1-81.
7. Guttag, J.V., Horowitz, E., and Musser, D.R. Abstract data types and software validation. Rep ISI/RR-76-48, Inform. Sci. Inst., U. of Southern California, Marina del Rey, Calif., Aug. 1976.
8. Hoare, C.A.R. Proof of correctness of data representations. Acta Informatica 4 (1972), 271-281.
9. Knuth, D. The Art of Computer Programming, Vol. 3: Sorting and Searching. Addison Wesley, Reading, Mass., 1973.
10. Laboratory for Computer Science Progress Report 1974-1975. Comput. Structures Group. Rep. PR-XII, Lab. for Comptr. Sci., M.I.T. To be published.
11. Lampson, B.W. Protection. Proc. Fifth Annual Princeton Conf. on Inform. Sci. and Syst., Princeton U., Princeton, N.J., 1971, pp. 437-443.
12. Liskov, B.H., and Zilles, S.N. Programming with abstract data types. Proc. ACM SIGPLAN Conf. on Very High Level Languages, SIGPLAN Notices 9, 4 (April 1974), 50-59.
13. Liskov, B.H., and Zilles, S.N. Specification techniques for data abstractions. IEEE Trans. Software Eng., SE-1 (1975), 7-19.
14. Liskov, B.H., and Berzins, V. An appraisal of program specifications. Comput. Structures Group Memo 141, Lab. for Comptr. Sci., M.I.T., Cambridge, Mass., July 1976.
15. McCarthy, J., et al. LISP 1.5 Programmer's Manual. M.I.T. Press, Cambridge, Mass., 1962.
16. Morris, J.H. Protection in programming languages. Comm. ACM 16, 1 (Jan. 1973), 15-21.
17. Parnas, D.L. Information distribution aspects of design methodology. Information Processing 71, Vol. 1, North-Holland Pub. Co., Amsterdam, 1972, pp. 339-344.
18. Scheifler, R.W. An analysis of inline substitution for the CLU programming language. Comput. Structures Group Memo 139, Lab. for Comptr. Sci., M.I.T., Cambridge, Mass., June 1976.
19. Spitzen, J., and Wegbreit, B. The verification and synthesis of data structures. Acta Informatica 4 (1975), 127-144.
20. Standish, T.A. Data structures: an axiomatic approach. Rep. 2639, Bolt, Beranek and Newman, Cambridge, Mass., 1973.
21. Thomas, J.W. Module interconnection in programming systems supporting abstraction. Rep. CS-16, Comptr. Sci. Prog., Brown U., Providence, R. I., 1976.
22. Wirth, N. Program development by stepwise refinement. Comm. ACM 14, 4 (1971), 221-227.
23. Wirth, N. The programming language PASCAL. Acta Informatica 1 (1971), 35-63.
24. Wulf, W.A., London, R., and Shaw, M. An introduction to the construction and verification of Alphard programs. IEEE Trans. Software Eng. SE-2 (1976), 253-264.