Modular type checking of anchored exception declarations.

Marko van Dooren Bart Jacobs Wouter Joosen

Published in: Sci. Comput. Program. (2014)

Keyphrases

type checking
data types
database query languages
query processor
object model
data model
abstract data types
relational calculus
object recognition
viewpoint