A Core Language for Rewriting (1998)

Cached

Download Links

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

Active Bibliography

20 A Survey of Rewriting Strategies in Program Transformation Systems – Eelco Visser - 2001
41 Context-Sensitive Rewriting Strategies – Salvador Lucas - 1997
33 Strategic Pattern Matching – Eelco Visser - 1999
5 Non-deterministic computations in ELAN – Hélène Kirchner, Pierre-Etienne Moreau - 1998
2 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 Ball, Pierre-etienne Moreau
50 ELAN from a rewriting logic point of view – Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau - 2002
35 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
46 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare
General Terms Theory, Verification – Felix Schernhammer, José Meseguer
Incremental Checking of Well-Founded Recursive Speci cations Modulo Axioms ⋆ – Felix Schernhammer, José Meseguer
37 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
6 First-class Rules and Generic Traversal – Eelco Dolstra, Eelco Visser - 2001
7 Probabilistic rewrite strategies: Applications to elan – Olivier Bournez, Claude Kirchner, Loria Inria - 2002
18 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