A Transformation System Combining Partial Evaluation with Term Rewriting

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

by Françoise Bellegarde

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

533	A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
13	Program Transformation and Rewriting – Bellegarde - 1990
375	Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
20	Completion and its Applications – N Dershowitz - 1989
35	Safe fusion of functional expressions II: Further improvements – Wei-Ngan Chin - 1994
10	Higher-order removal: A modular approach. Unpublished work – Wei-Ngan Chin, John Darlington - 1993
3	Termination Issues in Automated Syntheses – F. Bellegarde - 1994
9	Transformational derivation of programs using the Focus system – U Reddy - 1988
10	Rewriting Techniques for Program Synthesis – U S Reddy - 1989
60	Safe fusion of functional expressions – Wei-Ngan Chin - 1992
107	A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
103	Recursive Programming Techniques – W Burge - 1975
13	et al. Software design for reliability and reuse: A proof-of-concept demonstration – Jeffrey Bell - 1994
14	About transformation system: A theoretical study – L Kott - 1978
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
138	Termination of a set of rules modulo a set of equations – J P Jouannaud, M Mufioz - 1984
53	Commutation, transformation, and termination – L Bachmair, N Dershowitz - 1985