A Transformation System Combining Partial Evaluation with Term Rewriting (1993)

Cached

Download Links

by Françoise Bellegarde
Venue:In Higher Order Algebra, Logic and Term Rewriting (HOA '93), volume 816 of LNCS
Citations:6 - 5 self

Documents Related by Co-Citation

574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
13 Program Transformation and Rewriting – Bellegarde - 1990
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
22 Completion and its Applications – N Dershowitz - 1989
35 Safe fusion of functional expressions II: Further improvements – Wei-Ngan Chin - 1994
3 Termination Issues in Automated Syntheses – F. Bellegarde - 1994
10 Higher-order removal: A modular approach. Unpublished work – Wei-Ngan Chin, John Darlington - 1993
9 Transformational derivation of programs using the Focus system – U Reddy - 1988
10 Rewriting techniques for program synthesis – U Reddy - 1989
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
106 Recursive Programming Techniques – W BURGE - 1975
13 et al. Software design for reliability and reuse: A proof-of-concept demonstration – Jeffrey Bell - 1994
3 Tupling and Mutamorphisms – M M Fokkinga - 1989
3 ASTRE: a transformation system using completion – F. Bellegarde - 1991
12 Termination by completion – F Bellegarde, P Lescanne - 1990
16 About Transformation System: A Theoretical Study”, 3ème Colloque International sur la Programmation – L Kott - 1978
58 Commutation, transformation, and termination – Leo Bachmair, Nachum Dershowitz - 1986
146 Completion of a set of rules modulo a set of equations – J-P Jouannaud, H Kirchner - 1986