M. Leuschel. Partial evaluation of the \real thing". In L. Fribourg and F. Turini, editors, Logic Program Synthesis and Transformation | Meta-Programming in Logic. Proceedings of LOPSTR'94 and META'94, LNCS 883, pages 122-137, Pisa, Italy, June 1994. Springer-Verlag. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Bottom-up Transformation for Programs with Procedural Control - Vanhoof, Bruynooghe (Correct)
Transformation of Logic Programs - Pettorossi, Proietti (1998) (13 citations) (Correct)
Analysis and Transformation of Proof Procedures - de Waal (1994) (2 citations) (Correct)
Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (10 citations) (Correct)
A Fixed Point Semantics for Logic Programs Extended.. - Vanhoof.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC