Login / Signup
Incremental Abstract Interpretation.
Helmut Seidl
Julian Erhard
Ralf Vogler
Published in:
From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active databases
active rules
reasoning engine
model checking
dynamic analysis