Abstraction mechanisms in CLU
- 1 August 1977
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 20 (8) , 564-576
- https://doi.org/10.1145/359763.359789
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.Keywords
This publication has 10 references indexed in Scilit:
- An Introduction to the Construction and Verification of Alphard ProgramsIEEE Transactions on Software Engineering, 1976
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- The verification and synthesis of data structuresActa Informatica, 1975
- Programming-in-the large versus programming-in-the-smallPublished by Association for Computing Machinery (ACM) ,1975
- Programming with abstract data typesPublished by Association for Computing Machinery (ACM) ,1974
- Protection in programming languagesCommunications of the ACM, 1973
- Proof of correctness of data representationsActa Informatica, 1972
- Program development by stepwise refinementCommunications of the ACM, 1971
- The programming language pascalActa Informatica, 1971
- LISP 1.5 PROGRAMMER'S MANUALPublished by Defense Technical Information Center (DTIC) ,1962