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
SbReve2: a term rewriting laboratory with (AC-) unfailing completion
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
The definition of Standard ML
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)
Abstract data types and the development of data structures
Communications of the ACM
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
Distributed Computing with a Processor Bank
Proceedings of the European Workshop on Process in Distributed Operating Systems and Distributed Systems Management
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
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
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Component Libraries and Language Features
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
ACM SIGSOFT Software Engineering Notes
A bisimulation for dynamic sealing
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Stayin' alert:: moulding failure and exceptions to your needs
Proceedings of the 5th international conference on Generative programming and component engineering
Type-based publish/subscribe: Concepts and experiences
ACM Transactions on Programming Languages and Systems (TOPLAS)
A bisimulation for dynamic sealing
Theoretical Computer Science
Extended exceptions for contingencies
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
A direct path to dependable software
Communications of the ACM - A Direct Path to Dependable Software
Error propagation analysis for file systems
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Responders: language support for interactive applications
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
The power of interoperability: why objects are inevitable
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
| 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.