Correctness Proofs of the Implementation of Abstract Data Types.

Bernhard Hohlfeld

Published in: European Conference on Computer Algebra (2) (1985)

Keyphrases

abstract data types
data abstraction
database
data types
programming language
machine learning
general purpose
object oriented databases
relational database systems
databases
data model
data sources
data management