Abstraction mechanisms in CLU
From MaRDI portal
Publication:4136503
DOI10.1145/359763.359789zbMATH Open0362.68018DBLPjournals/cacm/LiskovSAS77OpenAlexW2073544767WikidataQ55878772 ScholiaQ55878772MaRDI QIDQ4136503FDOQ4136503
Barbara H. Liskov, J. Craig Schaffert, Russel Atkinson, Alan Snyder
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
Cited In (22)
- Object-oriented programming: some history, and challenges for the next fifty years
- Algebraic optimization of object-oriented query languages
- A language for generic programming in the large
- Specifications, models, and implementations of data abstractions
- An object-oriented semantic data model for CAD applications
- Higher level programming and data abstractions—a case study using enhanced C
- Introduction to enhanced C (EC)
- Programming by successive refinement of data abstractions
- Syntactic adaptability of programming languages
- Parameter passing in algebraic specification languages
- Abstract for-loops over several aggregates
- Routines: An argument against the conventional approach to functions and procedures
- Modularization of large programs
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints
- Debugging programs that use macro-oriented data abstractions
- Hierarchical program specification and verification - a many-sorted logical approach
- Multilevel synthesis of structured programs
- Types in Programming Languages, Between Modelling, Abstraction, and Correctness
- Data metastructures
- Adding classes to the C language: An exercise in language evolution
- A systematic study of models of abstract data types
- Modularization and abstraction in logic programming
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)
