Aims

- To understand, synthesize and present recent research works on programming languages and translators

- To estimate the state of the art in domain(s) tackled during the seminar and to investigate open questions

- To identify links between questions currently debated about programming languages and translators

Main themes

This course is currently devoted to the static analysis of programming languages by abstract interpretation. During the five first weeks, theoretical and practical bases of abstract interpretation are studied, including abstract domains, abstract semantic, and fixpoint algorithms.
Afterwards, students have to complete a project either individually or within a small team including two members. The project amounts to design and implement a static analyser for the programming language SLIP (Simple Language with Integers and Pointers), which they have previously implemented in another course (INGI2132, Programming Languages and Translators).

Content and teaching methods

see "Main themes"

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

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

- References:
Recent articles