Toward a General Theory of Computation and Specification over Abstract Data Types.

John V. Tucker Jeffery I. Zucker

Published in: ICCI (1990)

Keyphrases

general theory
abstract data types
data types
morphological operators
object oriented databases
programming language
data model
relational database systems
stable models
object oriented
database
data mining
knowledge discovery
software engineering
data storage