Course Slides

Introduction

• Taxonomy of Program Transformation
• Program Transformation with Stratego/XT
• Course Overview

Program Transformation by Term Rewriting

• Program Representation
• Term Rewriting
• Concrete Syntax

Programmable Rewriting Strategies

• In Control of Rewriting
• ComposingStrategies
• First-Class Pattern Matching
• Generic Traversal Strategies
• Scoped Dynamic Rewrite Rules

Partial Evaluation

• Introduction to Partial Evaluation

The book on partial evaluation by Jones et al. is available online:

• N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation With chapters by L.O. Andersen and T. Mogensen. Prentice Hall International, June 1993. xii + 415 pages. ISBN 0-13-020249-5.
  • Chapter 1

XML Processing and Term Rewriting

• XML Processing and Term Rewriting