Data types and program correctness.

Barbara H. Liskov

Published in: AFIPS National Computer Conference (1975)

Keyphrases

data types
data model
database management systems
data structure
user defined
database systems
application programs
back end
data mining algorithms
database server
data manipulation language
data formats
microsoft sql server
abstract data types
database design
information retrieval
database