Login / Signup
Abstract Interpretation in Weak Powerdomains.
Robert Muller
Yuli Zhou
Published in:
LISP and Functional Programming (1992)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
active databases
reasoning engine
dynamic analysis
knowledge base
open source
source code