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

Matthew M. Papi Mahmood Ali Michael D. Ernst

Published in: OOPSLA Companion (2008)

Keyphrases

type checking
java virtual machine
data types
database query languages
query processor
relational calculus
integrity constraints
abstract data types
programming language
data model
java programs
object oriented
software engineering
general purpose
query processing
preprocessing
data mining