Lab Assignments

General

This page provides pointers to the lab assignments that you have to make during the program transformation course. In the first part of the course there are nine (small) assignments in which you learn to use various basic techniques. These assignments are self-contained and focus on the topic of the lecture. The deadlines for these assignments are organized such that you have to finish the assignment before the next lecture. The assignments should be made individually.

In the second part of the course you apply the basic technique in a larger transformation, i.e., constructing a partial evaluator for Tiger. You will have to submit this project at the end of the course. You can work on the partial evaluator in pairs. Please announce who you will be working with before Week 2.

Submission

All submissions should be done with the submit system:

• http://www.cs.uu.nl/docs/submit/

No submissions will be accepted after the deadline, which is 15 minutes before the lecure (12:45). Please carefully read the expected format for submissions. Assignments for which no submission is received or that do not conform to the specification receive a zero grade. Do not submit by email. If there are special circumstances please inform both course lecturer and teaching assistent before the deadline of the assignment.

Assignments (deadline)

• Week 47
  • Assignment Classifying Transformations (19/11/2003)
  • Assignment Program Representation (24/11/2003)
• Week 48
  • Assignment Term Rewriting (26/11/2003)
  • Assignment Concrete Syntax (1/12/2003)
• Week 49
  • Assignment In Control of Rewriting (3/12/2003)
  • Assignment Composing Strategies(8/12/2003)
• Week 50
  • Assignment First Class Pattern Matching (10/12/2003)
  • Assignment Generic Traversal Strategies (15/12/2003)
• Week 51
  • Assignment Scoped Dynamic Rewrite Rules (22/12/2003)
• Week 2 - 5
  • Assignment Partial Evaluation (30/1/2003)