Login / Signup
Abstract interpretation as anti-refinement.
Arnaud Spiwack
Published in:
CoRR (2013)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
model checking
reasoning engine
active databases
dynamic analysis
knowledge base