Programming with abstract data types

Programming with abstract data types. Barbara Liskov. 1974

• Abstract
• Introduction
• The Meaning of Abstraction
• The Programming Language
  • Using Abstract Data Types
  • Defining Abstract Data Types
  • Controlling the Use of Information
• Relationship to Previous Work
  • Extensible Languages
  • Standard Abstract Operations
  • SIMULA Classes
• Implementation Considerations
  • Modules and Module-Names
  • Type Checking
  • Retention
  • Efficiency
• Conclusions

Abstract

Introduction

The Meaning of Abstraction

Абстрактный тип данных (Abstract data type), Абстракция (Abstraction), Абстракция и декомпозиция

The Programming Language

Using Abstract Data Types

Defining Abstract Data Types

Controlling the Use of Information

Relationship to Previous Work

Extensible Languages

Standard Abstract Operations

SIMULA Classes

Implementation Considerations

Modules and Module-Names

Type Checking

Retention

Efficiency

Conclusions