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
database query languages
data types
query processor
abstract data types
relational calculus
programming language
data analysis
object oriented
java programs
web services
data model
knowledge representation
integrity constraints