Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation
Alvaro Germán Puebla Sánchez, John P. Gallagher, Manuel V. Hermenegildo · 1997
interpretation [CC77] is a technique for static analysis in which execution of the program is simulated on an abstract domain (Da) which is simpler than the actual, concrete domain (D). *Department of Computer Science, Technical University of Madrid, {german,herme}@f i.upm.es TDepartment of Computer Science, University of Bristol, [email protected] .ac.uk