Transformations for efficient evaluations in functional programming*

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

Volumn 1292, Issue , 1997, Pages 127-141

  Lucas, Salvador ^a  

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

Author keywords

Evaluation; Functional programming; Program transformation; Term rewriting

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; FUNCTION EVALUATION; LOGIC PROGRAMMING;

EVALUATION; EVALUATION STRATEGIES; FUNCTION CALLS; PROGRAM TRANSFORMATIONS; TERM REWRITING;

FUNCTIONAL PROGRAMMING;

EID: 21744456154     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0033841     Document Type: Conference Paper

References (12)

1. 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 and The MIT Press, Cambridge, MA, 1990.
2. G. Huet and J.J. Levy. Computations in orthogonal term rewriting systems. In J.L. Lassez and G. Plotkin, editors, Computational logic: Essays in honour of J. Alan Robinson, pages 395-414 And 415-443. The MIT Press, Cambridge, MA, 1991.
3. J.F.Th. Kamperman and H.R. Walters. Lazy Rewriting and Eager Machinery. In J. Hsiang, editor, Proc. of 6th International Conference on Rewriting Techniques and Applications, RTA’95, LNCS 914:147-162, Springer-Verlag, Berlin, 1995.
4. J.W. Klop. Term Rewriting Systems. In S. Abramsky, D.M. Gabbay arid T.S.E. Maibaum. Handbook of Logic in Computer Science, volume 3, pages 1-116. Oxford University Press, 1992.
5. S. Lucas. Context-sensitive computations in functional and functional logic programs. Journal of Functional and Logic Programming, 1997, To appear.
6. S. Lucas. Fundamentals of context-sensitive rewriting. In M. Bartosek, J. Staudek and J. Wiedermann, editors, Proc. of XXII Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM’95, LNCS 1012:405-412, Springer-Verlag, Berlin, 1995.
7. S. Lucas. Needed Reductions with Context-Sensitive Rewriting. In M. Hanus and K. Meinke, editors, Proc. of 6th International Conference on Algebraic and Logic Programming, ALP’97, LNCS to appear.
8. M. J. O’Donnell. Equational Logic as a Programming Language. The MIT Press, Cambridge, Massachusetts, 1985.
9. C. Reade. Elements of Functional Programming. Addison-Wesley Publishing Company, 1993.
10. R.C. Sekar, S. Pawagi and I.V. Ramakrishnan. Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient Parallel Execution. In N. Dershowitz, editor, Proc. of 3rd International Conference on Rewriting Techniques and Applications, RTA’89, LNCS 355:404-418, Springer-Verlag, Berlin, 1989.
11. Y. Toyama. Strong Sequentiality of Left-Linear Overlapping Rewrite Systems. In Proc. of 7th IEEE Symposium on Logic in Computer Science, Santa Cruz, CA, pages 274-284, 1992.
12. H. Zantema. Termination of Context-Sensitive Rewriting. In H. Comon, editor, Proc. of 8th International Conference on Rewriting Techniques and Applications, RTA’97, LNCS 1232:172-186, Springer-Verlag, Berlin, 1997.