Teaching Program Transformation

Ingredients of a Course on Program Transformation

What should a good course on program transformation offer?

Existing Courses about Program Transformation

A list of courses with program transformation, meta programming, etc. as subject. Please add (your own) course.

• CS 589 Program Generation and Meta-Programming (Spring 2002) by Martin Erwig^? at Oregon State University

Courses on this 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.

-- EelcoVisser - 02 Nov 2001, 19 Jun 2002