Type And Effect Systems

Apa0506

%TOC%

---+++ 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.

<p>
The general rule is: *Motivate your answers*
</p>

---+++ 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 [[CourseAssignments][here]]. 
In whatever fashion you hand things in make sure things are clear and
readable and on time. 

---+++ Experiences from last year

-- Main.JurriaanHage - 20 Jun 2005

Master Course Automatic Program Analysis

Type And Effect Systems

Master Course
Automatic Program Analysis