Abstract Interpretation From a Denotational-semantics Perspective.

David A. Schmidt

Published in: MFPS (2009)

Keyphrases

denotational semantics
abstract interpretation
termination analysis
programming language
static analysis
active rules
query language
operational semantics
model checking
dynamic analysis
artificial intelligence
active databases
reasoning engine
data structure
integrity constraints
abstract data types