Handouts for the Stratego Tutorial at ETAPS (April 2002)

• 1 Introduction
• 2 A Taxonomy of Program Transformation
• 3 Implementation of Transformation Systems
• 4 Program Representation
• 5 Term Rewrite Rules
• 6 Term Rewriting
• 7 Rewriting Strategies
• 8 Case Study 1
• 9 Scoped Dynamic Rewrite Rules
• 10 Case Study 2
• 11 Type Unifying Transformations
• 12 Case Study 3
• 13 Transformation Primitives
• 14 Termination