| Topics in Book web: | Changed: now 15:13 | Changed by: |
| 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 ... | ||
| 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 |