State Space Reduction in Abstract Interpretation of Parallel Programs.

Jyh-Herng Chow Williams Ludwell Harrison III

Published in: ICCL (1994)

Keyphrases

abstract interpretation
state space
termination analysis
static analysis
model checking
active rules
reasoning engine
heuristic search
dynamic programming
search space
database
case study
reinforcement learning
database management systems
dynamic analysis