An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework

G Puebla; M Hermenegildo; J P Gallagher

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework

G Puebla, M Hermenegildo, J P Gallagher

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Translated title of the contribution	An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework
Original language	English
Title of host publication	Unknown
Publisher	University of Aarhus, Dept. of Computer Science
Pages	75 - 84
Number of pages	9
Publication status	Published - 1999

Bibliographical note

Conference Proceedings/Title of Journal: Proceedings of PEPM'99, The ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, ed. O. Danvy, San Antonio, January 1999.

Access to Document

http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/1999-puebla.html

Cite this

@inproceedings{b2dd4f92070e41cbb7ee71f02fdf6766,

title = "An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework",

author = "G Puebla and M Hermenegildo and Gallagher, {J P}",

note = "Conference Proceedings/Title of Journal: Proceedings of PEPM'99, The ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, ed. O. Danvy, San Antonio, January 1999. ",

year = "1999",

language = "English",

pages = "75 -- 84",

booktitle = "Unknown",

publisher = "University of Aarhus, Dept. of Computer Science",

}

TY - GEN

T1 - An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework

AU - Puebla, G

AU - Hermenegildo, M

AU - Gallagher, J P

N1 - Conference Proceedings/Title of Journal: Proceedings of PEPM'99, The ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, ed. O. Danvy, San Antonio, January 1999.

PY - 1999

Y1 - 1999

M3 - Conference Contribution (Conference Proceeding)

SP - 75

EP - 84

BT - Unknown

PB - University of Aarhus, Dept. of Computer Science

ER -