A Denotational Approach for Type-Checking in Object-Oriented Programming Languages.

Roberto Ierusalimschy

Published in: Comput. Lang. (1993)

Keyphrases

type checking
data types
database query languages
query processor
object model
abstract data types
relational calculus
database
data analysis
preprocessing
spatio temporal