Improving functional logic programs by difference-lists

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

Volumn 1961, Issue , 2000, Pages 237-254

  Albert, Elvira ^a   Ferri, César ^a   Steiner, Frank ^b   Vidal, Germán ^a  

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

^b UNIVERSITY OF KIEL   (Germany)

Author keywords

Compiler optimization; Functional logic programming; Program transformation

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; FUNCTIONAL PROGRAMMING; LIST PROCESSING LANGUAGES; PROGRAM COMPILERS;

COMPILER OPTIMIZATIONS; CONCURRENT PROGRAMMING; DECLARATIVE LANGUAGES; FUNCTIONAL LOGIC PROGRAMMING; FUNCTIONAL LOGIC PROGRAMS; LIST PROCESSING; MULTI-PARADIGM; PROGRAM TRANSFORMATIONS;

LOGIC PROGRAMMING;

EID: 84893304522     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44464-5_17     Document Type: Conference Paper

References (16)

1. E. Albert, C. Ferri, F. Steiner, and G. Vidal. List-Processing Optimizations in a Multi-Paradigm Declarative Language. Technical Report DSIC, UPV, 2000. Available from URL: http://www.dsic.upv.es/users/elp/papers.html.
2. M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. A Transformation System for Lazy Functional Logic Programs. In A. Middeldorp and T. Sato, editors, Proc. of FLOPS'99, pages 147-162. Springer LNCS 1722, 1999.
3. 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.
4. S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, 47(4):776-822, 2000.
5. 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.
6. A.J. Gill, J. Launchbury, and S.L. Peyton Jones. A Short Cut to Deforestation. In Proc. of FPLCA'93, pages 223-232, New York, NY (USA), 1993. ACM Press.
7. M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19 & 20:583-628, 1994.
8. M. Hanus, S. Antoy, J. Koj, P. Niederau, R. Sadre, and F. Steiner. PAKCS 1.2: User Manual. Technical report, CAU Kiel, 2000. Available at http://www.informatik.uni-kiel.de/~pakcs.
9. M. Hanus (ed.). Curry: An Integrated Functional Logic Language. Available at http://www.informatik.uni-kiel.de/~curry, 2000.
10. G. Huet and J.J. Lévy. Computations in orthogonal rewriting systems, Part I + II. In J.L. Lassez and G.D. Plotkin, editors, Computational Logic - Essays in Honor of Alan Robinson, pages 395-443, 1992.
11. J. Hughes. A Novel representation of Lists and its Application to the Function reverse. Tech. Report PMG-38, Chalmers Institute of Technology, Sweden, 1984.
12. K. Marriott and H. Søndergaard. Difference-list Transformation for Prolog. New Generation Computing, 11(2):125-157, October 1993.
13. L. Sterling and E. Shapiro. The Art of Prolog: Advanced Programming Techniques. MIT Press, 1986.
14. H. Tamaki and T. Sato. Unfold/Fold Transformations of Logic Programs. In Proc. of Second Int'l Conf. on Logic Programming, pages 127-139, 1984.
15. P.L. Wadler. The Concatenate Vanishes. Technical report, Department of Computing Science, University of Glasgow, UK, 1987.
16. P.L. Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231-248, 1990.