Approximate Fixed Points in Abstract Interpretation.

Chris Hankin Sebastian Hunt

Published in: Sci. Comput. Program. (1994)

Keyphrases

fixed point
abstract interpretation
termination analysis
approximate value iteration
static analysis
linear logic
active rules
sufficient conditions
temporal difference learning
model checking
asymptotic properties
dynamical systems
active databases
reasoning engine
belief propagation
database
parameter estimation