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

Documents Related by Co-Citation

110 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
43 Controlling Rewriting by Rewriting – Peter Borovansk'y, Claude Kirchner
34 Strategic Pattern Matching – Eelco Visser - 1999
26 Language Independent Traversals for Program Transformation – Eelco Visser - 2000
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
113 Syntax Definition for Language Prototyping – Eelco Visser - 1997
16 Specification of Rewriting Strategies – Sebastiaan P. Luttik, Eelco Visser - 1997
101 An Overview of ELAN – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau, Christophe Ringeissen - 1998
32 The Rho Cube – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2001
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
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
7 The Stratego Library – Eelco Visser, Eelco Visser - 2000
73 editors. Language Prototyping: An Algebraic Specification Approach – A van Deursen, J Heering, P Klint
99 Efficient annotated terms – M. G. J. van den Brand, Hayco De Jong, Paul Klint, Pieter Olivier - 2000
5 Syntax De for Language Prototyping – Eelco Visser - 1997
3 de Jong. Ecient annotated terms – P A Olivier, H A - 1998
123 Principles of Maude – Clavel Eker, M. Clavel, S. Eker, J. Meseguer - 1996
41 Calculate Polytypically! – Lambert Meertens - 1996
12 Type-safe Functional Strategies – Ralf Lammel, Joost Visser - 2000