Static path conditions for Java.

Christian Hammer Rüdiger Schaade Gregor Snelting

Published in: PLAS (2008)

Keyphrases

open source
object oriented
programming language
lightweight
sufficient conditions
shortest path
source code
database applications
high level
java programs
databases
artificial intelligence
social networks
web services
development environment
byte code