Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Leuschel, Michael
2002.
The Essence of Computation.
Vol. 2566,
Issue. ,
p.
379.
Leuschel, Michael
and
Gruner, Stefan
2002.
Logic Based Program Synthesis and Transformation.
Vol. 2372,
Issue. ,
p.
91.
Jones, Neil D.
and
Glenstrup, Arne J.
2002.
Generative Programming and Component Engineering.
Vol. 2487,
Issue. ,
p.
1.
Elphick, Daniel
Leuschel, Michael
and
Cox, Simon
2003.
Generative Programming and Component Engineering.
Vol. 2830,
Issue. ,
p.
344.
Leuschel, Michael
Craig, Stephen J.
Bruynooghe, Maurice
and
Vanhoof, Wim
2004.
Program Development in Computational Logic.
Vol. 3049,
Issue. ,
p.
340.
Fioravanti, Fabio
Pettorossi, Alberto
and
Proietti, Maurizio
2004.
Program Development in Computational Logic.
Vol. 3049,
Issue. ,
p.
291.
Roychoudhury, Abhik
and
Ramakrishnan, C. R.
2004.
Program Development in Computational Logic.
Vol. 3049,
Issue. ,
p.
261.
Leuschel, Michael
2004.
A framework for the integration of partial evaluation and abstract interpretation of logic programs.
ACM Transactions on Programming Languages and Systems,
Vol. 26,
Issue. 3,
p.
413.
Lehmann, Helko
and
Leuschel, Michael
2004.
Logic Based Program Synthesis and Transformation.
Vol. 3018,
Issue. ,
p.
1.
Puebla, Germán
Albert, Elvira
and
Hermenegildo, Manuel
2005.
Logic Based Program Synthesis and Transformation.
Vol. 3573,
Issue. ,
p.
149.
Leuschel, Michael
and
Vidal, Germán
2005.
Programming Languages and Systems.
Vol. 3444,
Issue. ,
p.
61.
Craig, Stephen-John
and
Leuschel, Michael
2005.
Self-tuning resource aware specialisation for prolog.
p.
23.
Glenstrup, Arne John
and
Jones, Neil D.
2005.
Termination analysis and specialization-point insertion in offline partial evaluation.
ACM Transactions on Programming Languages and Systems,
Vol. 27,
Issue. 6,
p.
1147.
Pettorossi, Alberto
Proietti, Maurizio
and
Senni, Valerio
2006.
Logic Based Program Synthesis and Transformation.
Vol. 3901,
Issue. ,
p.
23.
Puebla, Germán
and
Ochoa, Claudio
2006.
Poly-controlled partial evaluation.
p.
261.
Albert, Elvira
Puebla, Germán
and
Gallagher, John P.
2006.
Logic Based Program Synthesis and Transformation.
Vol. 3901,
Issue. ,
p.
115.
Puebla, Germán
Albert, Elvira
and
Hermenegildo, Manuel
2006.
Static Analysis.
Vol. 4134,
Issue. ,
p.
107.
Leuschel, Michael
Craig, Stephen-John
and
Elphick, Dan
2007.
Logic-Based Program Synthesis and Transformation.
Vol. 4407,
Issue. ,
p.
43.
Ochoa, Claudio
and
Puebla, Germán
2007.
A Study on the Practicality of Poly-Controlled Partial Evaluation.
Electronic Notes in Theoretical Computer Science,
Vol. 177,
Issue. ,
p.
137.
Gómez-Zamalloa, Miguel
Albert, Elvira
and
Puebla, Germán
2007.
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation.
Electronic Notes in Theoretical Computer Science,
Vol. 190,
Issue. 1,
p.
85.