Login / Signup
Mechanically Verified Calculational Abstract Interpretation.
David Darais
David Van Horn
Published in:
CoRR (2015)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
reasoning engine
active databases
theorem prover
information systems
knowledge representation
open source
source code