Algebraic implementation of abstract data types

1 September 1979

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGACT News

Vol. 11 (2) , 25-29
https://doi.org/10.1145/1008620.1008622

Abstract

A new concept for the implementation of abstract data types is proposed: Given algebraic specifications SPECO and SPEC1 of abstract data types ADTO and ADT1 an implementation of ADTO by ADT1 is defined separately on the syntactical level of specifications and on the semantical level of algebras. In addition to a short overview a simple example is provided.

Keywords

ALGEBRAIC IMPLEMENTATION
ALGEBRAIC SPECIFICATION
SHORT OVERVIEW
ABSTRACT DATA TYPE
SYNTACTICAL LEVEL
SEMANTICAL LEVEL
SIMPLE EXAMPLE
NEW CONCEPT

This publication has 1 reference indexed in Scilit:

Abstract data types and the development of data structures
Published by Association for Computing Machinery (ACM) ,1976