A Core Language for Rewriting (1998)

Cached

Download Links

by Eelco Visser , Zine-el-abidine Benaissa
Venue:Electronic Notes in Theoretical Computer Science
Citations:25 - 8 self

Active Bibliography

24 A Survey of Rewriting Strategies in Program Transformation Systems – Eelco Visser - 2001
43 Context-Sensitive Rewriting Strategies – Salvador Lucas - 1997
34 Strategic Pattern Matching – Eelco Visser - 1999
6 Non-deterministic computations in ELAN – Hélène Kirchner, Pierre-etienne Moreau - 1998
4 The Essence of Strategic Programming An inquiry into trans-paradigmatic genericity – Ralf Lämmel, Eelco Visser, Joost Visser - 2002
Optimizing Pattern Matching by Program Transformation – Emilie Balland, Pierre-Etienne Moreau - 2006
42 Rewriting With Strategies In ELAN: A Functional Semantics – Peter Borovansky, Claude Kirchner, Hélène Kirchner, H El, Ene Kirchner, Christophe Ringeissen, Communicated M. Sato, Y. Toyama - 1999
Received (January 1999) – Peter Borovansk Y, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen, Communicated M. Sato, Y. Toyama
54 ELAN from a rewriting logic point of view – Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau - 2002
56 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare
Incremental Checking of Well-Founded Recursive Speci cations Modulo Axioms ⋆ – Felix Schernhammer, José Meseguer
38 Building Equational Proving Tools by Reflection in Rewriting Logic – Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer - 1998
31 Research Directions in Rewriting Logic – José Meseguer - 1998
8 First-class Rules and Generic Traversal – Eelco Dolstra, Eelco Visser - 2001
8 Probabilistic rewrite strategies: Applications to elan – Olivier Bournez, Claude Kirchner, Loria Inria - 2002
20 Combining Higher-Order and First-Order Computation Using ρ-calculus: Towards a Semantics of ELAN – Horatiu Cirstea, Claude Kirchner - 1999
9 A Maude Tutorial – M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, J. F. Quesada - 2000
16 A Logic Programming Approach to Implementing Higher-Order Term Rewriting – Amy Felty - 1992
On the Complexity of Deciding Call-by-Need – Irène Durand, Aart Middeldorp