Abstraction mechanisms in CLU
Abstraction mechanisms in CLU
复制标题
DOI：
10.1145/800022.808322
复制
发表时间：
1977-03
期刊：
影响因子：
--
通讯作者：
B. Liskov;A. Snyder;R. Atkinson;Craig Schaffert
中科院分区：
文献类型：
--
作者：
B. Liskov;A. Snyder;R. Atkinson;Craig Schaffert
CLU是一种新的编程语言，旨在支持在程序构造中使用抽象。编程方法学的研究使人们认识到三种抽象，过程抽象、控制抽象，特别是数据抽象，在编程过程中是有用的。其中，只有过程抽象是传统语言通过过程或子程序很好地支持的。CLU提供，除了程序，新颖的语言机制，支持使用数据和控制抽象。本文介绍了CLU的抽象机制。通过编程实例，我们说明了在程序构造中的三种抽象的效用，并显示如何CLU程序可以编写使用和实现抽象。我们还讨论了CLU库，它允许增量程序开发与完整的类型检查在编译时执行。
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, we illustrate the utility of the three kinds of abstractions in program construction and show how CLU programs may be written to use and implement abstractions. We also discuss the CLU library, which permits incremental program development with complete type-checking performed at compile-time.