Teaching Program Transformation
Program-Transformation.Org: The Program Transformation Wiki
This wiki is used for two courses involving ProgramTransformation:
- A course on Software Generation covers TermRewriting and RewritingStrategies and a number of applications of program transformation such as PartialEvaluation, ProgramRefactoring, DeCompilation, CompilationByTransformation, DeForestation.
- A course on High-Performance Compilers deals with the middle and back-end phases of compilation.
CategoryTeaching