Abstract Data Types and Software Validation.

John V. Guttag Ellis Horowitz David R. Musser

Published in: Commun. ACM (1978)

Keyphrases

abstract data types
data types
relational database systems
programming language
spatial aggregation
object oriented databases
data model
database
data structure
high level
data abstraction
knowledge discovery
data management
database systems
website
algebraic operations
databases