Login / Signup
On Various Abstract Understandings of Abstract Interpretation.
Patrick Cousot
Published in:
TASE (2015)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
reasoning engine
active databases
database
information systems
database technology