A Core Language for Rewriting (1998)

Cached

Download Links

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

Documents Related by Co-Citation

109 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
42 Controlling Rewriting by Rewriting – Peter Borovansk'y, Claude Kirchner
34 Strategic Pattern Matching – Eelco Visser - 1999
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
112 Syntax Definition for Language Prototyping – Eelco Visser - 1997
26 Language Independent Traversals for Program Transformation – Eelco Visser - 2000
15 Specification of Rewriting Strategies – Sebastiaan P. Luttik, Eelco Visser - 1997
31 The Rho Cube – Horatiu Cirstea, Claude Kirchner, Luigi Liquori - 2001
101 An Overview of ELAN – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau, Christophe Ringeissen - 1998
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
60 Designing Constraint Logic Programming Languages using Computational Systems – C KIRCHNER, H KIRCHNER, M VITTEK - 1993
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
174 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
41 Calculate Polytypically! – Lambert Meertens - 1996
97 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995