| Topics in Book web: | Changed: now 15:13 | Changed by: |
| AboutThisBook | 18 Nov 2003 - 20:29 - NEW | EelcoVisser |
| 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 ... | ||
| ChapterComposingStrategies | 05 Dec 2003 - 16:30 - r1.2 | EelcoVisser |
| 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 ... | ||
| ChapterFirstClassPatternMatching | 14 Dec 2003 - 13:15 - r1.3 | EelcoVisser |
| 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 ... | ||
| ChapterGenericTraversalStrategies | 14 Dec 2003 - 12:58 - r1.2 | EelcoVisser |
| 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 ... | ||
| ChapterInControlOfRewriting | 14 Dec 2003 - 13:00 - r1.2 | EelcoVisser |
| Previous Up Next Introduction Rewrite rules provide a good formalism for the formalization of transformation steps. However, term rewriting based on exhaustive normalization ... | ||
| ChapterProgramRepresentation | 14 Dec 2003 - 13:03 - r1.3 | EelcoVisser |
| Previous Up Next Introduction Program transformation systems need some kind of representation for program that can be manipulated. Programmers write programs as texts ... | ||
| ChapterProgramTransformation | 25 Nov 2003 - 20:12 - NEW | EelcoVisser |
| Abstract Many systems for program transformation exist that are often specialized for a specific object language and/or kind of transformation. All these systems ... | ||
| ChapterProgramTransformationSystems | 25 Nov 2003 - 20:12 - NEW | EelcoVisser |
| Abstract Many systems for program transformation exist that are often specialized for a specific object language and/or kind of transformation. All these systems ... | ||
| ChapterProgramTransformationWithConcreteObjectSyntax | 14 Dec 2003 - 13:01 - r1.2 | EelcoVisser |
| Previous Up Next Introduction Meta-programs manipulate structured representations (abstract syntax) of programs. The distance between the concrete syntax meta-programmers ... | ||
| ChapterScopedDynamicRewriteRules | 14 Dec 2003 - 13:09 - r1.2 | EelcoVisser |
| 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 ... | ||
| ChapterStrategiesForProgramTransformationARoadmap | 25 Nov 2003 - 20:15 - NEW | EelcoVisser |
| See I | ||
| ChapterTermRewriting | 14 Dec 2003 - 13:02 - r1.2 | EelcoVisser |
| 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 ... | ||
| MailingList | 22 Dec 2003 - 17:03 - NEW | EelcoVisser |
| For announcements of new version, questions and remarks about chapters, subscribe to the following mailinglist: https://mail.cs.uu.nl/mailman/listinfo/stratego-book ... | ||
| PartI | 14 Dec 2003 - 13:05 - r1.5 | EelcoVisser |
| Introduction Previous Up Next Contents STARTINCLUDE Program Transformation Program Transformation Systems Strategies for Program Transformation A Roadmap STOPINCLUDE ... | ||
| PartII | 19 Nov 2003 - 00:12 - NEW | EelcoVisser |
| Program Transformation by Term Rewriting STARTINCLUDE Program Representation Term Rewriting Program Transformation with Concrete Object Syntax STOPINCLUDE | ||
| PartIII | 05 Dec 2003 - 16:33 - r1.2 | EelcoVisser |
| Programmable Rewriting Strategies Contents STARTINCLUDE In Control of Rewriting Composing Strategies First Class Pattern Matching Generic Traversal Strategies Scoped ... | ||
| SiteMap | 27 Aug 2002 - 08:00 - NEW | EelcoVisser |
| INCLUDE{ TWIKIWEB .SiteMap} | ||
| TableOfContents | 25 Nov 2003 - 20:04 - r1.3 | EelcoVisser |
| I Introduction INCLUDE{PartI} II Program Transformation by Term Rewriting INCLUDE{PartII} III Programmable Rewriting Strategies INCLUDE{PartIII} | ||
| TitlePage | 01 Feb 2005 - 22:56 - r1.15 | EelcoVisser |
| Strategies for Program Transformation An Introduction to Program Transformation with Stratego/XT WEBLOGODISPLAY Stratego/XT Eelco Visser DRAFT 2003 The complete draft ... | ||
| TitlePageInContents | 25 Nov 2003 - 15:14 - NEW | EelcoVisser |
| News INCLUDE{WebNews} | ||
| UpdateWebPages | 20 Sep 2002 - 08:37 - NEW | EelcoVisser |
| WebChanges | 23 Apr 2002 - 19:46 - r1.2 | EelcoVisser |
| INCLUDE{" MAINWEB .WebChanges"} | ||
| WebChanges100 | 23 Apr 2002 - 19:53 - NEW | EelcoVisser |
| INCLUDE{ MAINWEB .WebChanges100} | ||
| WebChanges200 | 23 Apr 2002 - 20:05 - NEW | EelcoVisser |
| INCLUDE{ MAINWEB .WebChanges200} | ||
| WebChanges500 | 23 Apr 2002 - 20:09 - NEW | EelcoVisser |
| INCLUDE{ MAINWEB .WebChanges500} | ||
| WebCustomMenus | 28 Apr 2005 - 22:24 - NEW | Main.wiki |
| WebHome | 03 Jun 2004 - 14:25 - r1.3 | EelcoVisser |
| Strategies for Program Transformation An Introduction to Program Transformation with Stratego/XT Stratego/XT Eelco Visser DRAFT 2003 | ||
| WebIndex | 23 Jan 2002 - 14:20 - r1.2 | EelcoVisser |
| SEARCH{"\. " scope "topic" regex "on" nosearch "on" noheader "on" format " $topic "} | ||
| WebLeftBar | 19 Mar 2008 - 23:14 - r1.4 | TWikiGuest |
| INCLUDE{"Trash.BlW" warn "off"} WEBLOGODISPLAY Cover page About Contents News I II III | ||
| WebNews | 14 Dec 2003 - 14:05 - r1.7 | EelcoVisser |
| 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 ... | ||
| WebNewsInBar | 25 Nov 2003 - 15:08 - NEW | EelcoVisser |
| News INCLUDE{WebNews} | ||
| WebNotify | 23 Jan 2002 - 14:21 - r1.2 | EelcoVisser |
| 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 ... | ||
| WebPreferences | 06 Feb 2004 - 09:36 - r1.3 | EelcoVisser |
| TWiki.Book Web Preferences The following settings are web preferences of the TWiki.Book web. These preferences overwrite the site-level preferences in TWIKIWEB . ... | ||
| WebSearch | 08 Aug 2001 - 05:26 - NEW | PeterThoeny |
| INCLUDE{" TWIKIWEB .WebSearch"} | ||
| WebStatistics | 11 Feb 2008 - 01:12 - r1.767 | TWikiGuest |
| 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 ... | ||
| WebTools | 08 Nov 2001 - 09:49 - NEW | TWikiGuest |
| Finding topics RoadMap WebIndex: all topics in the Book web WebSearch: find topics Tracking activity WebNews: selected changes WebChanges: recent changes WebNotify ... | ||
| Topic WebHome . { } |
|
Copyright © 1999-2020 by the contributing authors.
All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback |