Handouts For The Stratego Tutorial At ETAPS2002
Stratego -- Strategies for Program Transformation
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