Sign in
A Galois connection calculus for abstract interpretation.
Patrick Cousot
Radhia Cousot
Published in:
POPL (2014)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
model checking
dynamic analysis
active databases
reasoning engine
data flow