Abstract interpretation: from theory to applications
Professor Giorgio Levi will hold a course on "Abstract Interpretation: from theory to applications".
|DATE:||Wednesday, March 28, 2012 – Tuesday, April 3, 2012|
|VENUE:||Seminar room Gödel|
The aim of the course is the introduction of the theory of abstract interpretation, an important tool for reasoning about semantics, for static program analysis and verification. A few practical abstract interpreters for functional programs will be shown. One of them will allow us to make comparisons with the type system approach.
Some applications to logic programs will also be covered.
The course will be held in block, in the seminar room Goedel, on:
March 28 10:00-12:00
March 29 14:00-16:00
March 30 10:00-12:00
April 2 10:00-12:00
April 3 10:00-12:00