E. Visser, "Stratego: A Language for Program Transformation based on Rewriting Strategies", Proc. Rewriting Techniques and Applications (RTA'01), Lecture Notes in Computer Science 2051, 357--361 (2001). Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
fxt - A Transformation Language for XML Documents - Berlea, Seidl (2001) (5 citations) (Correct)
To Reuse or To Be Reused: Techniques for Component Composition.. - de Jonge (2003) (Correct)
Term Rewriting with Type-safe Traversal Functions - van den Brand, Klint, Vinju (2002) (Correct)
P-logic: property verification for Haskell programs - Kieburtz (2002) (Correct)
Aiding Dependent Type Checking with Rewrite Rules - Huencke, de Moor (2001) (Correct)
A Semantics for Proof Plans with Applications to Interactive.. - Richardson (2002) (Correct)
Fxt - A Transformation Tool for XML Documents - Berlea, Seidl (2001) (Correct)
The ELAN Environment: a Rewriting Logic Environment.. - van den Brand.. (2002) (Correct)
Term Rewriting With Traversal Functions - van den Brand, Klint, Vinju (2001) (17 citations) (Correct)
Linearization of μCRL Specifications - Usenko (2002) (Correct)
Source Tree Composition - de Jonge (2001) (9 citations) (Correct)
Generation of Efficient Algorithms for Maximum Marking Problems - Sasano (Correct)
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)
Evolving TXL - Adrian Thurston James (Correct)
Algorithmic Skeletons for Stream Programming in.. - Caarls, Jonker.. (2006) (Correct)
A Rule-based Approach to the Implementation of Evaluation.. - And Temur Kutsia (Correct)
Component-based DSL Development - Cleenewerck (2003) (Correct)
A Network Worm Vaccine Architecture - Stelios Sidiroglou Stelios (2003) (4 citations) (Correct)
MOUSE: A Shortcut From Matlab Source to SIMD DSP Assembly Code - Cichon, Fettweis (2003) (Correct)
Deterministic Higher-order Patterns for Program Transformation - Yokoyama, Hu, Takeichi (2003) (Correct)
Component-based DSL Development - Cleenewerck (2003) (Correct)
TXL - A Language for Programming Language Tools and Applications - Cordy (2004) (2 citations) (Correct)
Proxima - A presentation-oriented editor for structured documents - Schrage (2004) (3 citations) (Correct)
Termination of Rewriting with Local Strategies - Fissore, Gnaedig, Kirchner (2001) (4 citations) (Correct)
To The Graduate School: - The Members Of (Correct)
Rule-Based Programming with Mathematica - Marin, Piroi (2004) (Correct)
Evolving Domain Specific Languages - Project Summary We (Correct)
Adding Concrete Syntax to a Prolog-Based Program Synthesis.. - Fischer, Visser (Correct)
Deterministic Second-order Patterns in Program Transformation - Yokoyama, Hu, Takeichi (Correct)
Type-Safe Update Programming - Martin Erwig And (Correct)
A Rule-Based Language for Programming Software Updates - Martin Erwig Erwig (2002) (Correct)
Partial Evaluation using Rewrite Rules - Specification Of Partial (Correct)
Turning Dynamic Typing into Static Typing by Program.. - Olmos, Visser (2003) Self-citation (Visser) (Correct)
Turning Dynamic Typing into Static Typing by Program.. - Institute Of Information Self-citation (Visser) (Correct)
A Survey of Rewriting Strategies in Program Transformation Systems - Visser (2003) (9 citations) Self-citation (Visser) (Correct)
Program Transformation with Stratego/XT: Rules, Strategies.. - Visser (2003) (1 citation) Self-citation (Visser) (Correct)
Strategies for Fusing Logic and Control via Local.. - Johann, Visser (2003) Self-citation (Visser) (Correct)
Strategic Programming Meets Adaptive Programming - Lämmel, Visser, Visser (2003) Self-citation (Visser) (Correct)
Program Transformation with Stratego/XT: Rules, Strategies.. - Visser (2004) (1 citation) Self-citation (Visser) (Correct)
Design of the CodeBoost Transformation System for - Domain-Specific Optimisation Of (2003) Self-citation (Visser) (Correct)
Fusing Logic and Control with Local Transformations: An.. - Johann, Visser (2001) Self-citation (Visser) (Correct)
Constant Propagation - Olmos, Visser (2002) Self-citation (Visser) (Correct)
Building Interpreters with Rewriting Strategies - Dolstra, Visser (2002) (2 citations) Self-citation (Visser) (Correct)
A Survey of Rewriting Strategies in Program Transformation Systems - Visser (2001) (9 citations) Self-citation (Visser) (Correct)
Rewriting Strategies for Instruction Selection - Bravenboer, Visser (2002) Self-citation (Visser) (Correct)
Building Interpreters with Rewriting Strategies - Dolstra, Visser (2002) (2 citations) Self-citation (Visser) (Correct)
Fusing Logic and Control with Local Transformations: An.. - Johann, Visser (2001) Self-citation (Visser) (Correct)
Meta-Programming with Concrete Object Syntax - Visser (2002) (7 citations) Self-citation (Visser) (Correct)
First 50 documents Next 50
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