PT Course Lab Contact Center for ST
Course Slides
Pt
Slides
Introduction
- Program transformation
- Course overview
- Infrastructure for program transformation systems
- Infrastructure for Java program transformation
- Introduction to the Dryad Library
Rewriting and Rewriting Strategies
Context-Sensitive Transformations
- Binding, Substitution, Evaluation
- Constant Propagation
- Online Partial Evaluation / Function Specialization
- Backwards Propagation / Propagating Expressions
- Abstract Interpretation / Propagating Properties
Language Embedding
Slides from 2004-2005 installment
Introduction
Program Transformation Strategies
Slides from 2003-2004 installment
Introduction
Program Transformation by Term Rewriting
Programmable Rewriting Strategies
- In Control of Rewriting
- ComposingStrategies
- First-Class Pattern Matching
- Generic Traversal Strategies
- Scoped Dynamic Rewrite Rules
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.