Type And Effect Systems

In short

This assignment comprises a number of small and one larger exercise. The two small ones count for one and a half point, the final larger one for seven points.

The general rule is: Motivate your answers

The assignment

Part 1

Do Exercise 5.1

Part 2

Do Exercise 5.5

Part 3

Consider a Type and Effect System for Call-Tracking Analysis: it has judgments similar to the ones we have seen in the chapter, where the annotations take the form of a set of functions. The Call-Tracking Analysis wants to find out for every expression e which functions may be called during the evaluation of e (and similarly for the annotations on function arrows).

1. Formulate an inference system with subeffecting.

2. Develop an algorithm for Call-Tracking Analysis based on your inference system.

3. Apply the algorithm to a suitable program to illustrate that it works.

What, how and when to submit

Details can be found here. In whatever fashion you hand things in make sure things are clear and readable and on time.

Experiences from last year

-- JurriaanHage - 20 Jun 2005