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

Germán Puebla Manuel V. Hermenegildo John P. Gallagher An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. 75-84 1999 conf/pepm/1999 PEPM db/conf/pepm/pepm1999.html#PueblaHG99