Login / Signup
Abstract Interpretation of Annotated Commands.
Tobias Nipkow
Published in:
Arch. Formal Proofs (2016)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
active databases
dynamic analysis
reasoning engine
database
databases