Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language.

Published in: TAPSOFT, Vol.2 (1987)

Keyphrases

abstract data types
programming language
data abstraction
object oriented
general purpose
high level
denotational semantics
software engineering
object oriented programming
strongly typed
computer programs
programming environment
data types
r tree
data model
spatio temporal
object identity
machine learning