Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Glück, Robert
and
Sørensen, Morten Heine
1996.
Partial Evaluation.
Vol. 1110,
Issue. ,
p.
137.
Turchin, Valentin F.
1996.
Partial Evaluation.
Vol. 1110,
Issue. ,
p.
481.
Albert, E.
Alpuente, M.
Falaschi, M.
Julián, P.
and
Vidal, G.
1998.
Static Analysis.
Vol. 1503,
Issue. ,
p.
262.
Lafave, L.
and
Gallagher, J. P.
1998.
Logic Program Synthesis and Transformation.
Vol. 1463,
Issue. ,
p.
168.
Pettorossi, Alberto
and
Proietti, Maurizio
1998.
Program specialization via algorithmic unfold/fold transformations.
ACM Computing Surveys,
Vol. 30,
Issue. 3es,
p.
6.
Alpuente, Maria
Falaschi, Moreno
and
Vidal, German
1998.
A unifying view of functional and logic program specialization.
ACM Computing Surveys,
Vol. 30,
Issue. 3es,
p.
9.
Alpuente, María
Falaschi, Moreno
and
Vidal, Germán
1998.
Partial evaluation of functional logic programs.
ACM Transactions on Programming Languages and Systems,
Vol. 20,
Issue. 4,
p.
768.
Leuschel, Michael
1998.
Static Analysis.
Vol. 1503,
Issue. ,
p.
230.
Lafave, L.
and
Gallagher, J. P.
1998.
Extending the power of automatic constraint-based partial evaluators.
ACM Computing Surveys,
Vol. 30,
Issue. 3es,
p.
15.
Sørensen, Morten Heine B.
1998.
Mathematics of Program Construction.
Vol. 1422,
Issue. ,
p.
315.
Alpuente, María
Hanus, Michael
Lucas, Salvador
and
Vidal, Germán
1999.
Specialization of inductively sequential functional logic programs.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 9,
p.
273.
Leuschel, Michael
1999.
Partial Evaluation.
Vol. 1706,
Issue. ,
p.
271.
Hatcliff, John
1999.
Partial Evaluation.
Vol. 1706,
Issue. ,
p.
20.
Alpuente, María
Hanus, Michael
Lucas, Salvador
and
Vidal, Germán
1999.
Specialization of inductively sequential functional logic programs.
p.
273.
Leuschel, Michael
1999.
Logic-Based Program Synthesis and Transformation.
Vol. 1559,
Issue. ,
p.
199.
Leuschel, Michael
1999.
Partial Evaluation.
Vol. 1706,
Issue. ,
p.
155.
Sørensen, Morten Heine B.
and
Glück, Robert
1999.
Partial Evaluation.
Vol. 1706,
Issue. ,
p.
246.
Albert, Elvira
Hanus, Michael
and
Vidal, Germán
2000.
Logic for Programming and Automated Reasoning.
Vol. 1955,
Issue. ,
p.
381.
Song, Litong
and
Futamura, Yoshihiko
2000.
Semantics, Applications, and Implementation of Program Generation.
Vol. 1924,
Issue. ,
p.
72.
Sørensen, Morten Heine B.
2000.
Convergence of program transformers in the metric space of trees.
Science of Computer Programming,
Vol. 37,
Issue. 1-3,
p.
163.
Discussions
No Discussions have been published for this article.