CLU reference manual
Abstraction and specification in program development
Abstraction and specification in program development
An introduction to Trellis/Owl
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Distributed programming in Argus
Communications of the ACM
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Debugging Larch Shared Language Specifications
IEEE Transactions on Software Engineering
The structuring of systems using upcalls
Proceedings of the tenth ACM symposium on Operating systems principles
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
Communications of the ACM
An analysis of inline substitution for a structured programming language
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
The design of the Venus operating system
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Protection in programming languages
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Definition of Standard ML
Distributed Computing with a Processor Bank
Proceedings of the European Workshop on Process in Distributed Operating Systems and Distributed Systems Management
SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion
RTA '89 Proceedings of the 3rd International Conference on Rewriting Techniques and Applications
First version of a data flow procedure language
Programming Symposium, Proceedings Colloque sur la Programmation
On the transfer of control between contexts
Programming Symposium, Proceedings Colloque sur la Programmation
ACM '78 Proceedings of the 1978 annual conference
Resource management in a decentralized system
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Abstract data types and the development of data structures
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
An introduction to the construction and verification of Alphard programs
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Report of session on structured programming
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Programming languages for operating systems.
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Procedural encapsulation: A linguistic protection technique
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
ABSTRACT DATA TYPES IN STACK BASED LANGUAGES
ABSTRACT DATA TYPES IN STACK BASED LANGUAGES
A DENOTATIONAL SEMANTICS OF CLU
A DENOTATIONAL SEMANTICS OF CLU
ABSTRACT MODEL SPECIFICATIONS FOR DATA ABSTRACTIONS
ABSTRACT MODEL SPECIFICATIONS FOR DATA ABSTRACTIONS
CLU REFERENCE MANUAL
Program structures for exceptional condition handling.
Program structures for exceptional condition handling.
Global variable considered harmful
ACM SIGPLAN Notices
The development of the Emerald programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Experience report: scheme in commercial web application development
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
Hi-index | 0.00 |
The idea of a data abstraction has had a significant impact on the development of programming languages and on programming methodology. CLU was the first implemented programming language to provide direct linguistic support for data abstraction. This paper provides a history of data abstraction and CLU. CLU contains a number of other interesting and influential features, including its exception handling mechanism, its iterators, and its parameterized types.