Skip to topic | Skip to bottom


EelcoVisser.StrategoXTr1.17 - 21 Apr 2008 - 19:36 - 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.


Object not found!

The requested URL was not found on this server.

If you entered the URL manually please check your spelling and try again.

If you think this is a server error, please contact the webmaster.

Error 404
Apache/2.4.33 (Unix) OpenSSL/1.0.2o

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