Login / Signup
A Tool for Abstract Interpretation: Dynamic Programming.
Éric Villemonte de la Clergerie
Published in:
JTASPEFT/WSA (1991)
Keyphrases
</>
dynamic programming
abstract interpretation
termination analysis
state space
static analysis
web services
model checking
active rules
query processing
management system
conceptual model