Home

  • Documentation
  • Language
  • Research Papers
  • Applications

Download

  • Continuous build
  • Extensions

Support

  • Mailing lists
  • IRC
  • Users Days
  • Bug Reports

Developers

  • Subversion
  • Buildfarm results

Page

  • Edit Page
  • Rename Page
  • Attach File
  • Printable
  • Wiki Source
  • Rev 2 (diff 1)
  • Rev 1
  • Total History
  • More ...

Web

  • Recent Changes
  • Notify Service
  • News
  • Page Index
  • Search
  • More ...

Wiki

  • About TWiki
  • Text Formatting
  • Registration
  • Change Password
  • Reset Password
  • Users
  • Groups

Handouts For The Stratego Tutorial At ETAPS2002

Stratego -- Strategies for Program Transformation

The handouts are currently not available; more recent material is available from the documentation page.

-- EelcoVisser - 08 Nov 2006

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