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
data types
database query languages
query processor
object model
relational calculus
object oriented
programming language
abstract data types
databases
java programs
database systems
data management