A partial evaluation framework for curry programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1705 LNAI, Issue , 1999, Pages 376-395

  Albert, Elvira ^a   Alpuente, María ^a   Hanus, Michael ^b   Vidal, Germán ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; PETROLEUM RESERVOIR EVALUATION; QUERY PROCESSING;

CONCURRENT COMPUTATION; FUNCTIONAL LOGIC LANGUAGES; FUNCTIONAL LOGIC PROGRAMS; LOGIC PROGRAMS; NONDETERMINISTIC CHOICE; PARTIAL EVALUATION; RUNTIMES;

COMPUTER CIRCUITS;

EID: 84886278409     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48242-3_23     Document Type: Conference Paper

References (32)

1. H. Ait-Kaci. An Overview of LIFE. In J.W. Schmidt and A.A. Stogny, editors, Proc. Workshop on Next Generation Information Systems Technology, pages 42- 58. Springer LNCS 504, 1990.
2. H. Ait-Kaci, P. Lincoln, eind R. Nasi. Le Fun: Logic, equations, and Functions. In Proc. of Fourth IEEE Int'l Symp. on Logic Programming, pages 17-23. IEEE, New York, 1987.
3. E. Albert, M. Alpuente, M. Falaschi, and G. Vidal. INDY User's Manual. Technical Report DSIC-Ü/12/98, UPV, 1998. Available from URL: http://www.dsic.upv.es/users/elp/papers.html.
4. E. Albert, M. Alpuente, M. Hanus, and G. Vidal. Partial Evaluation of Residuating Functional Logic Programs. Technical report, DSIC, UPV, 1999. Available from URL: http://www.dsic.upv.es/users/elp/papers.html.
5. M. Alpuente, M. Falaschi, P. Julian, and G. Vidal. Specialization of Lazy Functioned Logic Programs. In Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97, volume 32, 12 of Sigplan Notices, pages 151-162, New York, 1997. ACM Press.
6. M. Alpuente, M. Feilaschi, and G. Vidal. Partial Evsiluation of Functioned Logic Programs. ACM Transactions on Programming Languages and Systems, 20(4):768-844, 1998.
7. M. Alpuente, M. Hanus, S. LUCEIS, and G. Vidcd. Specicdization of Functional Logic Programs Based on Needed Narrowing. In P. Lee, editor, Proc. of the Int'l Conference on Functional Programming, ICFP'99, Paris (France). ACM, New York, 1999.
8. S. Antoy. Definitional trees. In Proc. of the 3rd Int'l Conference on Algebraic and Logic Programming, ALP'92, pages 143-157. Springer LNCS 632, 1992.
9. S. Antoy. Optimal non-deterministic functional logic computations. In Proc. of the Int'l Conference on Algebraic and Logic Programming, ALP'97, pages 16-30. Springer LNCS 1298, 1997.
10. S. Antoy, R. Echahed, and M. Hanus. A Needed Nzurrowing Strategy. In Proc. 21st ACM Symp. on Principles of Programming Languages, Portland, pages 268-279, 1994.
11. J. Boye. Avoiding Dynamic Delays in Functional Logic Languages. In J. Penjam and M. Bruynooghe, editors, Proc. of PLILP'93, pages 12-27. Springer LNCS 714, 1993.
12. C. Consel and O. Danvy. Tutorisd notes on Partial Evaluation. In Proc. of 20th Annual ACM Symp. on Principles of Programming Languages, pages 493-501. ACM, New York, 1993.
13. N. Dershowitz and J.-P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 243-320. Elsevier, Amsterdam, 1990.
14. S. Etalle, M. Gabbrielli, and E. Marchiori. A Transformation System for CLP with Dynamic Scheduling and CCP. In Proc. of the ACM Sigplan PEPM'97, pages 137-150. ACM Press, New York, 1997.
15. J. Gallagher. Tutorial on Specialisation of Logic Programs. In Proc. of Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, Denmark, June 1993, pages 88-98. ACM, New York, 1993.
16. E. Giovemnetti, G. Levi, C. Moiso, and C. Palamidessi. Kernel Lecif: A Logic plus Functional Language. Journal of Computer and System Sciences, 42:363-377, 1991.
17. R. Glück and M.H. Sørensen. Psirtial Deduction and Driving are Equivalent. In Proc. ofPLILP'94, pages 165-181. Springer LNCS 844, 1994.
18. M. Hanus. The Integration of Functions into Logic Programming: From Theory to Pr8u;tice. Journal of Logic Programming, 19&20:583-628, 1994.
19. M. Hanus. Analysis of Residuating Logic Programs. Journal of Logic Programming, 24(3):161-199, 1995.
20. M. Hanus. A unified computation model for functional and logic programming. In Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pages 80-93. ACM, New York, 1997.
21. M. Hanus (ed.). Curry: An Integrated Functionsil Logic Language. Available at http://www-i2.informatik.rwth-aachen.de/"h2mus/curry, 1999.
22. N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs, NJ, 1993.
23. Neil D. Jones. An Introduction to Partial Evaluation. ACM Computing Surveys, 28(3):480-503, Sept. 1996.
24. M. Leuschel, D. De Schreye, and A. de Wsial. A Conceptu2J Embedding of Folding into Pzirtial Deduction: Towards a Maximal Integration. In M. Maher, editor, Proc. of JICSLP'96, pages 319-332. The MIT Press, Cambridge, MA, 1996.
25. J.W. Lloyd. Combining Functional and Logic Programming Languages. In Proc. of the International Logic Programming Symposium, pages 43-57, 1994.
26. J.W. Lloyd. Declarative Programming in Escher. Technical Report CSTR-95-013, Computer Science Depaxtment, University of Bristol, 1995.
27. J.W. Lloyd and J.C. Shepherdson. Partial EvcJuation in Logic Programming. Journal of Logic Programming, 11:217-242, 1991.
28. R. Loogen, F. Lopez-Fraguas, eind M. Rodn'guez-Artalejo. A Demand Driven Computation Strategy for Lazy Neirrowing. In J. Penjam sind M. Bruynooghe, editors, Proc. of PLILP'93, pages 184-200. Springer LNCS 714, 1993.
29. J.J. Moreno-Navaxro and M. Rodriguez-Artalejo. Logic Programming with Functions and Predicates: The language Babel. Journal of Logic Programming, 12(3):191-224, 1992.
30. L. Naish. Negation and Control in Prolog. Springer LNCS 238, 1987.
31. L. Naish. Adding equations to NU-Prolog. In J. Maduszynski and M. Wirsing, editors, Proc. of the 3rd Int'l Symp. on Programming Languages Implementation and Logic Programming, pages 15-26. Springer LNCS 528, 1991.
32. G. Smolka. The Oz Programming Model. In Jan van Leeuwen, editor, Computer Science Today: Recent TVends and Developments, pages 324-343. Springer LNCS 1000, 1995.