Web Index

This is the website for Strategies for Program Transformation , a book on program transformation with Stratego/XT. The book is currently in draft form. A future version ...

Previous Up Next Introduction In the previous chapter we saw that pure term rewriting is not adequate for term rewriting because of the lack of control over the application ...

Previous Up Next Introduction So far we have assumed the basic actions applied by strategies are rewrite rules. However, taking a closer look at rules, we see that ...

Previous Up Next Introduction In the previous chapters we saw how strategies can be used to control transformations and how rules can be broken down into the primitive ...

Previous Up Next Introduction Rewrite rules provide a good formalism for the formalization of transformation steps. However, term rewriting based on exhaustive normalization ...

Previous Up Next Introduction Program transformation systems need some kind of representation for program that can be manipulated. Programmers write programs as texts ...

Abstract Many systems for program transformation exist that are often specialized for a specific object language and/or kind of transformation. All these systems ...

Abstract Many systems for program transformation exist that are often specialized for a specific object language and/or kind of transformation. All these systems ...

Previous Up Next Introduction Meta-programs manipulate structured representations (abstract syntax) of programs. The distance between the concrete syntax meta-programmers ...

Previous Up Introduction The applicability of term rewriting to program transformation is limited by the lack of control over rule application and by the context ...

See I

Previous Up Next Introduction In the previous chapter we saw how terms provide a structured representation for programs derived from a formal definition of the syntax ...

For announcements of new version, questions and remarks about chapters, subscribe to the following mailinglist: https://mail.cs.uu.nl/mailman/listinfo/stratego-book ...

Introduction Previous Up Next Contents STARTINCLUDE Program Transformation Program Transformation Systems Strategies for Program Transformation A Roadmap STOPINCLUDE ...

Program Transformation by Term Rewriting STARTINCLUDE Program Representation Term Rewriting Program Transformation with Concrete Object Syntax STOPINCLUDE

Programmable Rewriting Strategies Contents STARTINCLUDE In Control of Rewriting Composing Strategies First Class Pattern Matching Generic Traversal Strategies Scoped ...

INCLUDE{ TWIKIWEB .SiteMap}

I Introduction INCLUDE{PartI} II Program Transformation by Term Rewriting INCLUDE{PartII} III Programmable Rewriting Strategies INCLUDE{PartIII}

Strategies for Program Transformation An Introduction to Program Transformation with Stratego/XT WEBLOGODISPLAY Stratego/XT Eelco Visser DRAFT 2003 The complete draft ...

News INCLUDE{WebNews}

INCLUDE{" MAINWEB .WebChanges"}

INCLUDE{ MAINWEB .WebChanges100}

INCLUDE{ MAINWEB .WebChanges200}

INCLUDE{ MAINWEB .WebChanges500}

Strategies for Program Transformation An Introduction to Program Transformation with Stratego/XT Stratego/XT Eelco Visser DRAFT 2003

SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "}

INCLUDE{"Trash.BlW" warn "off"} WEBLOGODISPLAY Cover page About Contents News I II III

STARTINCLUDE 2003-12-14 Chapter 11: Scoped Dynamic Rewrite Rules 2003-12-10 Chapter 10: Generic Traversal Strategies 2003-12-08 Chapter 9: First Class Pattern Matching ...

News INCLUDE{WebNews}

NOTIFYTOPIC is a subscription service to be automatically notified by email when topics change in the TWiki.Book web. This is a convenient service, so you do not ...

TWiki.Book Web Preferences The following settings are web preferences of the TWiki.Book web. These preferences overwrite the site-level preferences in TWIKIWEB . ...

INCLUDE{" TWIKIWEB .WebSearch"}

Statistics for TWiki.Book Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 1100 ...

Finding topics RoadMap WebIndex: all topics in the Book web WebSearch: find topics Tracking activity WebNews: selected changes WebChanges: recent changes WebNotify ...