Type checking, separate compilation and reusability.

Michael R. Levy

Published in: SIGPLAN Symposium on Compiler Construction (1984)

Keyphrases

type checking
data types
query processor
database query languages
object model
relational calculus
abstract data types
database systems
spatio temporal
d objects
general purpose
incomplete information