Programming with abstract data types

1974/01/01 by Barbara Liskov, Stephen N. Zilles · 10 citations
Computer Science · #Advanced Database Systems and Queries #Computer science #Fifth-generation programming language #High-level programming language #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programmer #Programming language #Programming paradigm #Task (project management)

paper · pdf · doi:10.1145/800233.807045

openalex publication_date 1974/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29

Abstract

The motivation behind the work in very-high-level languages is to ease the programming task by providing the programmer with a language containing primitives or abstractions suitable to his problem area. The programmer is then able to spend his effort in the right place; he concentrates on solving his problem, and the resulting program will be more reliable as a result. Clearly, this is a worthwhile goal.

Cited by

• Modula-2 and Oberon
• Abstraction mechanisms in CLU
• Exception handling
• The impact of language design on the production of reliable software
• Structured exception handling
• Abstract types defined as classes of variables
• A comprehensive operational semantics of the SCOOP programming model
• High-level quantum structured programs as quantum registers compositions
• Abstract data type [wikipedia]
• CLU (programming language) [wikipedia]