Master Course Seminar Feedback Oriented Static Analysis
Sep 15, 2006
In week 38 we will jointly read Peyton-Jones' arbitrary-rank paper (final version, 2006).
You will be provided with a copy.
Aug 7, 2006
Provisional course schedule and a list of presentation papers are
Jun 13, 2006
Set up of Fosa web
The Seminar Feedback-Oriented Static Analysis deals with
the front end of compilers, more specifically how to generate
as much as possible of an implementation using a language for
describing front-ends, while maintaining a level of usability through
the control of feedback from the various front end phases.