Type qualifier inference for java.

David Greenfieldboyce Jeffrey S. Foster

Published in: OOPSLA (2007)

Keyphrases

programming language
lightweight
bayesian networks
object oriented
source code
database applications
belief networks
probabilistic inference
distributed object
database
genetic algorithm
database systems
type checking
java virtual machine
byte code