Abstraction mechanisms in CLU

DOI10.1145/359763.359789zbMath0362.68018DBLPjournals/cacm/LiskovSAS77OpenAlexW2073544767WikidataQ55878772 ScholiaQ55878772MaRDI QIDQ4136503

Barbara 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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (22)

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

This page was built for publication: Abstraction mechanisms in CLU