Compile-time type-checking for custom type qualifiers in Java.

Matthew M. Papi Michael D. Ernst

Published in: OOPSLA Companion (2007)

Keyphrases

type checking
java virtual machine
database query languages
data types
query processor
object model
relational calculus
object oriented
programming language
integrity constraints
abstract data types
preprocessing
object recognition