Abstraction mechanisms in CLU

DOI10.1145/359763.359789MaRDI QIDQ4136503zbMATHOpenAlexDBLPWikidataFDO

Authors Barbara H. Liskov, Alan Snyder, Russel Atkinson, J. Craig Schaffert

Publication date 1977

Published in Communications of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/359763.359789

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(22)

• Routines: An argument against the conventional approach to functions and procedures
• Object-oriented programming: some history, and challenges for the next fifty years
• Higher level programming and data abstractions—a case study using enhanced C
• Introduction to enhanced C (EC)
• Modularization and abstraction in logic programming
• Parameter passing in algebraic specification languages
• Debugging programs that use macro-oriented data abstractions
• Algebraic optimization of object-oriented query languages
• A systematic study of models of abstract data types
• Adding classes to the C language: An exercise in language evolution
• Modularization of large programs
• Programming by successive refinement of data abstractions
• Syntactic adaptability of programming languages
• Specifications, models, and implementations of data abstractions
• An object-oriented semantic data model for CAD applications
• PROCOL. A concurrent object-oriented language with protocols delegation and constraints
• Abstract for-loops over several aggregates
• Data metastructures
• Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
• Hierarchical program specification and verification - a many-sorted logical approach
• Multilevel synthesis of structured programs
• A language for generic programming in the large

This page was built for publication: Abstraction mechanisms in CLU

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4136503)