Login / Signup
Automating Abstract Interpretation.
Thomas W. Reps
Aditya V. Thakur
Published in:
VMCAI (2016)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
dynamic analysis
reasoning engine
databases
knowledge base