Type Checking Evolving Languages with MSOS.

Mark G. J. van den Brand Arjan P. van der Meer Alexander Serebrenik

Published in: Semantics and Algebraic Specification (2009)

Keyphrases

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