Abstract interpretation [ LINGI2339 ]

• Static analysis of programs through abstract interpretation

Students completing successfully this course will be able to

• apply methods related to the mathematic semantics of programming languages,
• situate these methods in th more general context of implementation of correct and robust softwares.

Students will have developed skills and operational methodology. In particular, they have developed their ability to

• use rigorous methods to explore a problem and develop a solution

• written exam
• project

• The first 5 weeks are devoted to theorical bases and practise of abstract interpreatation: abstract data domains, abstract semantic, algorithms of fix point calculus.
• Then, students perform individually or in groups of two, a static analyzer for the language SLIP. This analyzer is built into the compiler achieved during INGI2132. It optimizes and detects programming errors in the programs SLIP.

• abstract data domains,
• abstract semantic,
• algorithms of fix point calculus.

Recent articles

  Background:

• INGI2132 - Languages et translators