Combining Abstract Interpretation and Partial Evaluation (Brief Overview).

Published in: SAS (1997)

Keyphrases

partial evaluation
abstract interpretation
explanation based generalization
termination analysis
active rules
static analysis
xpath queries
domain theory
reverse engineering
database
modal logic
model checking
object oriented
small number
expert systems
high level
databases