Course Software
Pt03
In this course program transformations are specified using the program transformation language Stratego. The following software will be used in the LabAssignments:
- Stratego:StrategoRelease093
- Stratego:ATermLibrary
- SDF2
- Stratego:StrategoXT
- Stratego Standard Library
- Tiger (version 1.2 or 1.3)