 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
Programmes in which this activity is taught
|
INFO2
|
Ingénieur civil informaticien
|
| |
Other credits in programs
|
FSA3DS/IN
|
Diplôme d'études spécialisées en sciences appliquées (informatique)
|
(3 credits)
| |
|
INFO22
|
Deuxième année du programme conduisant au grade d'ingénieur civil informaticien
|
(3 credits)
| |
|
INFO23
|
Troisième année du programme conduisant au grade d'ingénieur civil informaticien
|
(3 credits)
| |
|
LINF22/GN
|
Deuxième licence en informatique (informatique générale)
|
(3 credits)
| |
|
