@inproceedings(Cousot-Cousot,
 author       = {P. Cousot and R. Cousot},
 year         = {{1977}},
 title        = {Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints},
 booktitle    = {POPL},
 pages        = {238--252},
 doi          = {10.1145/512950.512973},
)
@article(DBLP:journals/tplp/DomenechGG19,
 author       = {J. J. Dom{\'{e}}nech and J. P. Gallagher and S. Genaim},
 year         = {2019},
 title        = {Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis},
 journal      = {{TPLP}},
 volume       = {19},
 number       = {5-6},
 pages        = {990--1005},
 doi          = {10.1017/S1471068419000310},
)
@article(DBLP:journals/fuin/FioravantiPPS13,
 author       = {F. Fioravanti and A. Pettorossi and M. Proietti and V. Senni},
 year         = {2013},
 title        = {Controlling Polyvariance for Specialization-based Verification},
 journal      = {Fundam. Inform.},
 volume       = {124},
 number       = {4},
 pages        = {483--502},
 doi          = {10.3233/FI-2013-845},
)
@article(Futamura,
 author       = {Y. Futamura},
 year         = {1971},
 title        = {Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler},
 journal      = {Systems, Computers, Controls},
 volume       = {2(5)},
 pages        = {45--50},
)
@inproceedings(Gallagher-86,
 author       = {J. P. Gallagher},
 year         = {1986},
 title        = {Transforming Logic Programs by Specialising Interpreters},
 booktitle    = {Proceedings of the 7th European Conference on Artificial Intelligence (ECAI-86), Brighton},
 pages        = {109--122},
)
@inproceedings(Gallagher-VPT2019,
 author       = {J. P. Gallagher},
 year         = {2019},
 title        = {Polyvariant program specialisation with property-based abstraction},
 editor       = {A. Lisitsa and A. P. Nemytykh},
 booktitle    = {VPT-19},
 series       = {{EPTCS}},
 volume       = {299},
 doi          = {10.4204/EPTCS.299.6},
)
@article(Glueck:94:JFP,
 author       = {R. Gl{\"u}ck},
 year         = {1994},
 title        = {On the generation of specializers},
 journal      = {Journal of Functional Programming},
 volume       = {4},
 number       = {4},
 pages        = {499--514},
 doi          = {10.1017/S0956796800001167},
)
@inproceedings(Glueck:02:bti,
 author       = {R. Gl{\"u}ck},
 year         = {2002},
 title        = {{Jones} Optimality, Binding-Time Improvements, and the Strength of Program Specializers},
 booktitle    = {Proc. Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation},
 publisher    = {ACM},
 pages        = {9--19},
 doi          = {10.1145/568173.568175},
)
@inproceedings(GlueckJoergensen:94:SAS,
 author       = {R. Gl{\"u}ck and J{\o}rgensen, J.},
 year         = {1994},
 title        = {Generating transformers for deforestation and supercompilation},
 editor       = {Le Charlier, B.},
 booktitle    = {Static Analysis. Proceedings},
 series       = {LNCS 864},
 publisher    = {Springer-Verlag},
 pages        = {432--448},
 doi          = {10.1007/3-540-58485-4\_57},
)
@inproceedings(HDL:98:ABPS,
 author       = {J. Hatcliff and M. Dwyer and S. Laubach},
 year         = {1998},
 title        = {Staging static analyses using abstraction-based program specialization},
 editor       = {C. Palamidessi},
 booktitle    = {Principles of Declarative Programming},
 series       = {LNCS 1490},
 publisher    = {Springer},
 pages        = {134--151},
 doi          = {10.1007/BFb0056612},
)
@book(Jones-Gomard-Sestoft,
 author       = {N. D. Jones and C. Gomard and P. Sestoft},
 year         = {1993},
 title        = {{P}artial {E}valuation and {A}utomatic {S}oftware {G}eneration},
 publisher    = {Prentice Hall},
 doi          = {10.1016/j.scico.2004.03.010},
)
@article(Jones:04:whatnot,
 author       = {N. D. Jones},
 year         = {2004},
 title        = {Transformation by interpreter specialization},
 journal      = {SCP},
 volume       = {52},
 number       = {1-3},
 pages        = {307--339},
 doi          = {10.1016/j.scico.2004.03.010},
)
@article(Leuschel:04,
 author       = {M. Leuschel},
 year         = {2004},
 title        = {A framework for the integration of partial evaluation and abstract interpretation of logic programs},
 journal      = {ACM TOPLAS},
 volume       = {26},
 number       = {3},
 pages        = {413--463},
 doi          = {10.1145/982158.982159},
)
@inproceedings(LeuschelEVCF06,
 author       = {M. Leuschel and D. Elphick and M. Varea and S. Craig and M. Fontaine},
 year         = {2006},
 title        = {The {Ecce} and {Logen} partial evaluators and their web interfaces},
 editor       = {J. Hatcliff and F. Tip},
 booktitle    = {PEPM},
 publisher    = {{ACM}},
 pages        = {88--94},
 doi          = {10.1145/1111542.1111557},
)
@inproceedings(Puebla-Hermenegildo-Gallagher:PEPM99,
 author       = {G. Puebla and M. Hermenegildo and J. P. Gallagher},
 year         = {1999},
 title        = {An integration of partial evaluation in a generic abstract interpretation framework},
 editor       = {O. Danvy},
 booktitle    = {PEPM'99},
 address      = {San Antonio, Texas},
 pages        = {75--84},
)
@article(Turchin:93:JFP,
 author       = {V. F. Turchin},
 year         = {1993},
 title        = {Program transformation with metasystem transitions},
 journal      = {Journal of Functional Programming},
 volume       = {3},
 number       = {3},
 pages        = {283--313},
 doi          = {10.1017/S0956796800000757},
)