Interface Type Checking of Large C Applications.

Heidi E. Myers James M. Purtilo

Published in: Comput. Lang. (1992)

Keyphrases

type checking
data types
query processor
abstract data types
database query languages
relational calculus
databases
metadata
programming language
object model