From type checking by recursive descent to type checking with an abstract machine.

Ilya Sergey Dave Clarke

Published in: LDTA (2011)

Keyphrases

type checking
abstract machine
data types
query processor
database query languages
data model
relational calculus
abstract data types
object model
databases
user defined
data structure
expressive power
d objects
data integration