cJ: enhancing java with safe type conditions.

Shan Shan Huang David Zook Yannis Smaragdakis

Published in: AOSD (2007)

Keyphrases

programming language
sufficient conditions
open source
high level
databases
object oriented
data sets
development environment
strongly typed
byte code