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
Wed Mar 29 15:20:44 2017
Apache/2.2.31 (Unix) DAV/2 mod_ssl/2.2.31 OpenSSL/1.0.2k PHP/5.6.30
Visser.StrategoXT moved from Visser.Stratego on 31 May 2003 - 12:20 by EelcoVisser