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

Germn Puebla, Manuel V. Hermenegildo, John P. Gallagher

Browse the full PEPM paper archive.