Course Slides

Pt04
---+++  Introduction

   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-Taxonomy.pdf][Taxonomy of Program Transformation]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-IntroStrategoXT.pdf][Program Transformation with Stratego/XT]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT04-CourseOverview.pdf][Course Overview]]

---+++  Program Transformation Strategies

   * [[http://www.cs.uu.nl/people/martin/docs/PT04-Infrastructure.pdf][Infrastructure for Program Transformation Systems]]

   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT04-PatternMatching.pdf][Pattern Matching]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT04-TraversalStrategies.pdf][Traversal Strategies]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT04-TypeUnifyingStrategies.pdf][Type-Unifying Strategies]]

   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/SUD03-XTC.pdf][XTC: Transformation Tool Composition]]

   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT04-Compilation-by-Transformation.pdf][Compilation by Transformation]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT04-ScopedDynamicRules.pdf][Scoped Dynamic Rules]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT04-DependentDynamicRules.pdf][Dependent Dynamic Rules]]

   * [[http://www.cs.uu.nl/people/martin/docs/PT04-ConcreteObjectSyntax.pdf][Concrete Object Syntax]]

   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-IntroToPartialEvaluation.pdf][Introduction to Partial Evaluation]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT04-OnlinePartialEvaluation.pdf][Online Partial Evaluation]]
   * [[http://losser.st-lab.cs.uu.nl/~mbravenb/PT04-OfflinePE.pdf][Offline Partial Evaluation]]

   * [[http://losser.st-lab.cs.uu.nl/~mbravenb/PT04-JavaInfrastructure.pdf][Infrastructure for Java Transformation Systems]]

-------------++ Slides from 2003-2004 installment

---+++  Introduction

   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-Taxonomy.pdf][Taxonomy of Program Transformation]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-IntroStrategoXT.pdf][Program Transformation with Stratego/XT]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-CourseOverview.pdf][Course Overview]]

---+++  Program Transformation by Term Rewriting

   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-ProgramRepresentation.pdf][Program Representation]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-TermRewriting.pdf][Term Rewriting]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-ConcreteSyntax.pdf][Concrete Syntax]]

---+++ Programmable Rewriting Strategies

   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-InControlOfRewriting.pdf][In Control of Rewriting]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-ComposingStrategies.pdf][ComposingStrategies]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-FirstClassPatternMatching.pdf][First-Class Pattern Matching]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-GenericTraversal.ps][Generic Traversal Strategies]]
   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-DynamicRules.pdf][Scoped Dynamic Rewrite Rules]]

---+++ Partial Evaluation

   * [[http://www.cs.uu.nl/docs/vakken/pt/slides/PT03-IntroToPartialEvaluation.pdf][Introduction to Partial Evaluation]]

The book on partial evaluation by Jones et al. is available online:
  
   * N.D. Jones, C.K. Gomard, and P. Sestoft. [[http://www.dina.dk/~sestoft/pebook/pebook.html][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. 
      * [[http://www.cs.uu.nl/groups/ST/twiki/pub/Ist/ProgramTransformation/PE-Ch1.ps][Chapter 1]]

---+++ XML Processing and Term Rewriting

   * [[%ATTACHURL%/talk.ps][XML Processing and Term Rewriting]]