Data abstraction from a programming language viewpoint

Authors:
Lawrence A. Rowe
Affiliations:
Computer Science Division-EECS, University of California, Berkeley, CA
Venue:
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Year:
1980

Citing 16
Cited 7

The Vienna Definition Language

ACM Computing Surveys (CSUR)
New Programming Languages for Artificial Intelligence Research

ACM Computing Surveys (CSUR)
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage

ACM Transactions on Programming Languages and Systems (TOPLAS)
A language extension for expressing constraints on data access

Communications of the ACM
Automatic data structure selection: an example and overview

Communications of the ACM
Early experience with Mesa

Communications of the ACM
Abstraction mechanisms in CLU

Communications of the ACM
Monitors: an operating system structuring concept

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
Types are not sets

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
PASCAL user manual and report

PASCAL user manual and report
Aspects Of Implementing CLU

ACM '78 Proceedings of the 1978 annual conference
Programming with abstract data types

Proceedings of the ACM SIGPLAN symposium on Very high level languages
Preliminary Ada reference manual

ACM SIGPLAN Notices - Preliminary Ada reference manual
LISP 1.5 Programmer's Manual

LISP 1.5 Programmer's Manual
Simula Begin

Simula Begin

Refined types: highly differentiated type systems and their use in the design of intermediate languages

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Implementing SMART for minicomputers via relational processing With abstract data types

SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
Defining dynamic variables and abstract data types in Pascal

ACM SIGPLAN Notices
An informal approach to formal specifications

ACM SIGMOD Record
An informal approach to formal specifications

ACM SIGMOD Record
The impact of software engineering research on modern progamming languages

ACM Transactions on Software Engineering and Methodology (TOSEM)
Complex data types and a data manipulation language for scientific and statistical databases

SSDBM'83 Proceedings of the 2nd international workshop on Proceedings of the Second International Workshop on Statistical Database Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper traces the development of data abstraction concepts in programming languages. A data abstraction, or abstract data type, describes a collection of abstract entities and operations on the entities. A program which uses a data abstraction can access or modify the entities only through the abstract operations. Specific research topics discussed in the paper include: the role of type in a programming language, the formal specification of the semantics of a data abstraction, data abstraction language construct design issues, type hierarchies, and type-checking.