Login / Signup
Automating Abstract Interpretation of Abstract Machines.
James Ian Johnson
Published in:
CoRR (2015)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
dynamic analysis
case study
data model