PT Course

Center for ST

Center

Page

Web

Wiki

Log In or Register

Lab Assignments

Pt04

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 the construction of a larger non-trivial transformation system. Possible projects will be announced at the end of the first part of the course. You will have to submit this project at the end of the course. You can work on the project in pairs. Please announce who you will be working with before Week 2.

Submission

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. If there are special circumstances please inform both course lecturer and teaching assistent before the deadline of the assignment.

Assignments (deadline)