Eelco Visser  Home/Search
Context Related
| cs.uu.nl/~visser/f...Stratego05.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.uu.nl/~visser/ftp/index (more) Homepages: E.Visser |
Rate this article:      (best)Comment on this article |
Abstract: Program transformation is used in many areas of software engineering. Examples include compilation, optimization, synthesis, refactoring, migration, normalization and improvement [7]. Rewrite rules are a natural formalism for expressing single program transformations. However, using a standard strategy for normalizing a program with a set of rewrite rules is not adequate for implementing automatic program transformation systems. It may be necessary to apply a rule only in some phase of the... (Update)
Cited by: More
The TXL Source Transformation Language - Cordy (2005) (Correct)
Implementation and Verification of Implicit-Invocation.. - Using Source Transformation (Correct)
Using Source Transformation to Test and - Model Check Implicit-Invocation (Correct)
Similar documents (at the sentence level):
67.6%: Stratego: A Language for Program Transformation based on.. - Visser (2001) (Correct)
Active bibliography (related documents): More All
0.4: Warm Fusion in Stratego: A Case Study in Generation of.. - Johann, Visser (2000) (Correct)
0.3: Warm Fusion in Stratego: A Case Study in the Generation of.. - Johann, Visser (2000) (Correct)
0.2: Evaluation Strategies for Term Rewriting Systems - Nakamura (2002) (Correct)
Similar documents based on text: More All
0.7: Stratego - An Annotated Bibliography - Visser (2002) (Correct)
0.6: The Stratego Reference Manual - Visser (2000) (Correct)
0.6: The Stratego Tutorial - Visser (2000) (Correct)
Related documents from co-citation: More All
25: Building Program Optimizers with Rewriting Strategies - Visser, Abidine et al. - 1998
15: Scoped dynamic rewrite rules - Visser - 2001
12: Language independent traversals for program transformation - Visser - 2000
BibTeX entry: (Update)
E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA'01), Lecture Notes in Computer Science. Springer-Verlag, May 2001. To appear. http://citeseer.ist.psu.edu/visser01stratego.html More
@article{ visser01stratego,
author = "Eelco Visser",
title = "Stratego: {A} Language for Program Transformation Based on Rewriting Strategies",
journal = "Lecture Notes in Computer Science",
volume = "2051",
pages = "357+",
year = "2001",
url = "citeseer.ist.psu.edu/visser01stratego.html" }
Citations (may not include all citations):99 Building program optimizers with rewriting strategies - Visser, Benaissa et al. - 1999
57 Modern Compiler Implementation in ML (context) - Appel - 1998
37 Strategic pattern matching - Visser - 1999
30 Language independent traversals for program transformation - Visser - 2000
28 Warm fusion in Stratego: A case study in the generation of p.. - Johann, Visser - 2000
27 XT: A bundle of program transformation tools - de Jonge, Visser et al. - 2001
12 Ecient annotated terms - van den Brand, de Jong et al. - 2000
11 Institute of Information and Computing Sciences (context) - Visser, Library - 1999
9 CodeBoost: A framework for the transformation of C++ program.. (context) - Bagge, Haveraaen et al. - 2000
8 Electronic Notes in Theoretical Computer Science (context) - Visser, Benaissa et al. - 1998
7 Tiger in Stratego: An exercise in compilation by transformat.. (context) - Visser - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.uu.nl/~visser/ftp/index.html): More
Generation of Formatters for Context-free Languages - van den Brand, Visser (1995) (Correct)
Specification of Rewriting Strategies - Luttik, Visser (1997) (Correct)
A Case Study in Optimizing Parsing Schemata by Disambiguation.. - Visser (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC