Divergence of F< Type Checking.

Published in: Theor. Comput. Sci. (1995)

Keyphrases

type checking
data types
query processor
database query languages
abstract data types
general purpose
object model
relational calculus
viewpoint
spatio temporal
response time