article

Free access

Abstraction mechanisms in CLU

Authors:

Barbara Liskov,

Russell Atkinson,

Craig SchaffertAuthors Info & Claims

Communications of the ACM, Volume 20, Issue 8

Pages 564 - 576

https://doi.org/10.1145/359763.359789

Published: 01 August 1977 Publication History

Abstract

CLU is a new programming language designed to support the use of abstractions in program construction. Work in programming methodology has led to the realization that three kinds of abstractions—procedural, control, and especially data abstractions—are useful in the programming process. Of these, only the procedural abstraction is supported well by conventional languages, through the procedure or subroutine. CLU provides, in addition to procedures, novel linguistic mechanisms that support the use of data and control abstractions. This paper provides an introduction to the abstraction mechanisms in CLU. By means of programming examples, the utility of the three kinds of abstractions in program construction is illustrated, and it is shown how CLU programs may be written to use and implement abstractions. The CLU library, which permits incremental program development with complete type checking performed at compile time, is also discussed.

References

[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.]]

Digital Library

[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.]]

Digital Library

[7]

Gunag, J.V., Horowitz, E., and Mussel 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.]]

Digital Library

[9]

Knuth, D. The Art of Computer Programming, Vol. 3: Sorting and Searching. Addison Wesley, Reading, Mass., 1973. 576]]

Digital Library

[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.]]

Digital Library

[13]

Liskov, B.H., and Zilles, S.N. Specification techniques for data abstractions. IEEE Trans. Software Eng., SE-1 (1975), 7-19.]]

Digital Library

[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.]]

Digital Library

[16]

Morris, J.H. Protection in programming languages. Comm. ACM 16, 1 (Jan. 1973), 15-21.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[23]

Wirth, N. The programming language PASCAL. Acta Informatica 1 (1971), 35-63.]]

Digital Library

[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.]]

Digital Library

Cited By

Gabbrielli MMartini SGabbrielli MMartini S(2023)Data AbstractionProgramming Languages: Principles and Paradigms10.1007/978-3-031-34144-1_9(267-278)Online publication date: 15-Oct-2023
https://doi.org/10.1007/978-3-031-34144-1_9
Materzok M(2022)Generating circuits with generatorsProceedings of the ACM on Programming Languages10.1145/35498216:ICFP(52-79)Online publication date: 31-Aug-2022
https://dl.acm.org/doi/10.1145/3549821
Tucker JRoggenbach MCerone ASchlingloff BSchneider GShaikh S(2022)Origins and Development of Formal MethodsFormal Methods for Software Engineering10.1007/978-3-030-38800-3_9(455-488)Online publication date: 23-Jun-2022
https://doi.org/10.1007/978-3-030-38800-3_9
Show More Cited By

Abstraction mechanisms in CLU
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Abstraction mechanisms in CLU
Proceedings of an ACM conference on Language design for reliable software

CLU is a new programming language designed to support the use of abstractions in program construction. Work in programming methodology has led to the realization that three kinds of abstractions, procedural, control, and especially data abstractions, ...
Abstraction mechanisms in CLU
Proceedings of an ACM conference on Language design for reliable software

CLU is a new programming language designed to support the use of abstractions in program construction. Work in programming methodology has led to the realization that three kinds of abstractions, procedural, control, and especially data abstractions, ...
Abstraction mechanisms in CLU
Proceedings of an ACM conference on Language design for reliable software

CLU is a new programming language designed to support the use of abstractions in program construction. Work in programming methodology has led to the realization that three kinds of abstractions, procedural, control, and especially data abstractions, ...

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM

Communications of the ACM Volume 20, Issue 8

Aug. 1977

74 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/359763

Editor:
Robert L. Ashenhurst
Univ. of Chicago, Chicago, IL

Issue’s Table of Contents

Copyright © 1977 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1977

Published in CACM Volume 20, Issue 8

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

679
Total Citations
View Citations
1,684
Total Downloads

Downloads (Last 12 months)274
Downloads (Last 6 weeks)44

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Gabbrielli MMartini SGabbrielli MMartini S(2023)Data AbstractionProgramming Languages: Principles and Paradigms10.1007/978-3-031-34144-1_9(267-278)Online publication date: 15-Oct-2023
https://doi.org/10.1007/978-3-031-34144-1_9
Materzok M(2022)Generating circuits with generatorsProceedings of the ACM on Programming Languages10.1145/35498216:ICFP(52-79)Online publication date: 31-Aug-2022
https://dl.acm.org/doi/10.1145/3549821
Tucker JRoggenbach MCerone ASchlingloff BSchneider GShaikh S(2022)Origins and Development of Formal MethodsFormal Methods for Software Engineering10.1007/978-3-030-38800-3_9(455-488)Online publication date: 23-Jun-2022
https://doi.org/10.1007/978-3-030-38800-3_9
Tran DBui DOgata K(2021)Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ MethodIEEE Access10.1109/ACCESS.2021.30932119(93847-93870)Online publication date: 2021
https://doi.org/10.1109/ACCESS.2021.3093211
Aziz BAziz B(2021)IntroductionFormal Analysis by Abstract Interpretation10.1007/978-3-030-91153-9_1(1-31)Online publication date: 14-Dec-2021
https://doi.org/10.1007/978-3-030-91153-9_1
Banerjee SDevecsery DChen PNarayanasamy S(2020)Sound garbage collection for C using pointer provenanceProceedings of the ACM on Programming Languages10.1145/34282444:OOPSLA(1-28)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3428244
Liu FLhoták OBiboudis AGiarrusso POdersky M(2020)A type-and-effect system for object initializationProceedings of the ACM on Programming Languages10.1145/34282434:OOPSLA(1-28)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3428243
Wu ZSun ZGong KChen LLiao BJin Y(2020)Hidden inheritance: an inline caching design for TypeScript performanceProceedings of the ACM on Programming Languages10.1145/34282424:OOPSLA(1-29)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3428242
Geisler DYoon IKabra AHe HSanders YSampson A(2020)Geometry types for graphics programmingProceedings of the ACM on Programming Languages10.1145/34282414:OOPSLA(1-25)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3428241
Bembenek AGreenberg MChong S(2020)Formulog: Datalog for SMT-based static analysisProceedings of the ACM on Programming Languages10.1145/34282094:OOPSLA(1-31)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3428209
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents