Optimising Compilers Supervision 3

Exercises

1. Exam question: 2005 Paper 9 Question 7
2. Exam question: 2007 Paper 9 Question 16 (in part b, stick to abstract interpretation and constraint-based analysis, if possible)
3. Exam question: 2004 Paper 9 Question 3