UCL - Abstract interpretation

[INGI2339]

[30h + 15h] 5 credits

This course is taught in the 1st semester.

Teacher(s): Baudouin Le Charlier

Language: English

Level: Second

Aims
Main themes
Content and teaching methods
Other information (prerequisite, evaluation (assessment methods), course materials recommended readings, ...)

Aims

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

Main themes

Static analysis of programs through abstract interpretation

Content and teaching methods

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 by two, a static analyzer for a programming language previously implemented in the Language and Translator course (INGI2132).

Other information (prerequisite, evaluation (assessment methods), course materials recommended readings, ...)

- Prerequisites:
(1) INGI1131 - Concepts des langages informatiques
(2) INGI2132 - Langages et traducteurs

- References:
Recent articles