On Extending Computational Adequacy by Data Abstraction.

Val Tannen Ramesh Subrahmanyam

Published in: LISP and Functional Programming (1992)

Keyphrases

data abstraction
conceptual modelling
database management
formal specification
conceptual modeling
object oriented databases
programming language
abstract data types
object oriented
database
preprocessing
relational databases