Approximate Fixed Points in Abstract Interpretation.

Chris Hankin Sebastian Hunt

Published in: ESOP (1992)

Keyphrases

fixed point
abstract interpretation
approximate value iteration
termination analysis
static analysis
dynamical systems
model checking
temporal difference learning
linear logic
sufficient conditions
asymptotic properties
reasoning engine
distributed systems
dynamic analysis
source code
active rules
image matching