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