Login / Signup
Widening and narrowing operators for abstract interpretation.
Agostino Cortesi
Matteo Zanioli
Published in:
Comput. Lang. Syst. Struct. (2011)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
reasoning engine
information systems
fine grained