Static analysis for syntax objects.

David Fisher Olin Shivers

Published in: ICFP (2006)

Keyphrases

static analysis
dynamic analysis
source code
d objects
data objects
artificial intelligence
malicious code
symbolic execution
databases
moving objects
relational data
java card
data sets
integrity constraints
multiple objects
test suite