Skip to topic | Skip to bottom


EelcoVisser.StrategoXTr1.16 - 29 Mar 2007 - 19:57 - 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.


ERROR: TWiki::Net::getUrl connect: Inappropriate ioctl for device. GET /releases/strategoxt/publications-unstable-latest/publications/strategoxt/strategoxt-by-year.html HTTP/1.0 Host:

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