Sign in
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