Skip to topic | Skip to bottom


EelcoVisser.StrategoXTr1.15 - 02 Sep 2005 - 13:27 - EelcoVisser

Start of topic | Skip to actions
Stratego is a modular language for the specification of fully automatic program transformation systems based on the paradigm of rewriting strategies. Rewrite rules provide a good formalism for specification of basic transformation steps. Since sets of rewrite rules for a programming language are usually not confluent and terminating, standard rewriting techniques are not adequate for program transformation. Basic transformation steps are defined using labeled conditional rewrite rules. Rules are combined into complete transformations by means of programmable rewriting strategies. An important aspect of these strategies are combinators for generic traversal. Scoped dynamic rewrite rules overcome the limitations posed by the context-free nature of rewrite rules.


Moved Permanently

The document has moved here.

Apache/2.2.15 (Scientific Linux) Server at Port 80

Edit | Attach | Printable | Raw | More topic actions
Revisions: | r1.17 | > | r1.16 | > | r1.15 | Page history | Backlinks
Visser.StrategoXT moved from Visser.Stratego on 31 May 2003 - 12:20 by EelcoVisser
Copyright © 2003-2018, Software Engineering Research Group, Delft University of Technology, The Netherlands