Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework
PEPM, 1999.
@inproceedings{PEPM-1999-PueblaHG,
author = "Germán Puebla and Manuel V. Hermenegildo and John P. Gallagher",
booktitle = "{Proceedings of the Sixth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Technical report BRICS-NS-99-1)}",
pages = "75--84",
publisher = "{University of Aarhus}",
title = "{An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework}",
year = 1999,
}