Work

A next step in data structuring for programming languages

Year: 1976

Type: conference-paper

Abstract: An abstraction provides a statement of the properties of a data type without any commitment to a specific implementation. Programs which use abstractions can be developed and verified without regard to how the abstraction will be realized. Any type which fulfills the requirements of the abstraction can be bound in its place without affecting the program's correctness or its proof.

Source: Conference on Data: Abstraction, Definition and Structure

DOI: 10.1145/800237.807122

Authors: Jim Mitchell, Ben Wegbreit

Institution: Palo Alto Research Center

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2015288345

FWCI: 0.426

Cites: 7

Cited by: 2

Related to: 10