An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework.

Germán Puebla Manuel V. Hermenegildo John P. Gallagher

Published in: PEPM (1999)

Keyphrases

partial evaluation
abstract interpretation
termination analysis
natural language
database
model checking
static analysis
reasoning engine
explanation based generalization