Course Slides

Introduction

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

Program Transformation Strategies

• Infrastructure for Program Transformation Systems

• Pattern Matching
• Traversal Strategies
• Type-Unifying Strategies

• XTC: Transformation Tool Composition

• Compilation by Transformation
• Scoped Dynamic Rules
• Dependent Dynamic Rules

• Concrete Object Syntax

• Introduction to Partial Evaluation
• Online Partial Evaluation
• Offline Partial Evaluation

• Infrastructure for Java Transformation Systems

Slides from 2003-2004 installment

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