Maria Alpuente
Moreno Falaschi
German Vidal
- M. Alpuente, M. Falaschi, P. Juli~n, and G. Vidal. Specialization of Lazy Functional Logic Programs. In Proc. PEPM'97, pages 151-162. ACM, New York, 1997. Google Scholar
Digital Library
- M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. Safe Folding/Unfolding with Conditional Narrowing. In Proc. ALP'97, pages 1-15. Springer LNCS 1298, 1997. Google ScholarDigital Library
- M. Alpuente, M. Falaschi, and G. Vidal. Narrowing-driven Partial Evaluation of Functional Logic Programs. In Proc. ESOP'96, pages 45-61. Springer LNCS 1058, 1996. Google ScholarDigital Library
- R. Caballero-Rold~n, F.J. Ldpez-Fraguas, and J. S~nchez-Hern~ndez. User's manual for Toy. Technical report SIP-5797, UCM, Madrid (Spain), April 1997.Google Scholar
- C. Consel and O. Danvy. Tutorial notes on Partial Evaluation. In Proc. o} 20th Annual A CM Symp. on Principles o} Programming Languages, pages 493-501. ACM, New York, 1993. Google ScholarDigital Library
- J. Darlington and H. Pull. A Program Development Methodology Based on a Unified Approach to Execution and Transformation. In Proc. o} the Int'l Workshop on Partial Evaluation and Mixed Computation, pages 117-131. North-Holland, Amsterdam, 1988.Google Scholar
- J. Gallagher. Tutorial on Specialisation of Logic Programs. In Proc. o} Partial Evaluation and Semantics-Based Program Manipulation, pages 88-98. ACM, New York, 1993. Google ScholarDigital Library
- R. Gliick and A.V. Klimov. Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree. In Proc. o} WSA'93, pages 112-123. Springer LNCS 724, 1993. Google ScholarDigital Library
- R. Gliick and M.H. S0rensen. Partial Deduction and Driving are Equivalent. In Proc. PLILP'94, pages 165-181. Springer LNCS 844, 1994. Google ScholarDigital Library
- M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583-628, 1994.Google Scholar
- N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs, N J, 1993. Google ScholarDigital Library
- L. Lafave and J.P. Gallagher. Partial Evaluation of Functional Logic Programs in Rewritingbased Languages. Tech. Report CSTR-97-001, U. Bristol, England, March 1997. Google ScholarDigital Library
- M. Leuschel, D. De Schreye, and A. de Waal. A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. In Proc. JICSLP'96, pages 319-332. The MIT Press, Cambridge, MA, 1996.Google Scholar
- J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal o} Logic Programming, 11:217-242, 1991. Google ScholarDigital Library
- B. Martens and J. Gallagher. Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. In Proc. ICLP'95, pages 597-611. MIT Press, 1995.Google Scholar
- A. Pettorossi and M. Proietti. A Comparative Revisitation of Some Program Transformation Techniques. In Partial Evaluation, Int'l Seminar, pages 355-385. LNCS 1110, 1996. Google ScholarDigital Library
- M.H. S0rensen and R. Gliick. An Algorithm of Generalization in Positive Supercompilation. In Proc. ILPS'95, pages 465-479. The MIT Press, Cambridge, MA, 1995.Google Scholar
- M.H. S0rensen, R. Gliick, and N.D. Jones. A Positive Supercompiler. Journal o} Functional Programming, 6(6):811-838, 1996.Google ScholarCross Ref
- V.F. Turchin. The Concept of a Supercompiler. ACM Transactions on Programming Languages and Systems, 8(3):292-325, July 1986. Google ScholarDigital Library
Index Terms
- A unifying view of functional and logic program specialization
Recommendations
Specialization of inductively sequential functional logic programs
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequential programs admit the definition of optimal computation strategies and ...
Specialization of lazy functional logic programs
PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulationPartial evaluation is a method for program specialization based on fold/unfold transformations [8, 25]. Partial evaluation of pure functional programs uses mainly static values of given data to specialize the program [15, 44]. In logic programming, the ...
Specialization of inductively sequential functional logic programs
ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programmingFunctional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequential programs admit the definition of optimal computation strategies and ...
Comments