Semantics and program analysis - 4MM1SAP
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
Number of hours
- Lectures : 18.0
- Tutorials : 18.0
ECTS : 2.0
Goals
This course is an introduction to the foundations of semantics and program analysis. It presents the basis on which one can rely to specify and develop correct applications, and also to build and use analysis and verification tools.
Contact Xavier NICOLLIN
Content - General notions : operational semantics of imperative programming languages, how to express the properties of programs, exact or approximate verification;
- Elements of theory: fixed point and decidability
- Development of a complete verification chain based on abstract interpretation principles, from the text of the program to the answer of a verification tool.
Prerequisites- Algorithms and imperative programming
- Language theory
Tests Give kind of exam for session 1 and session 2: written, allowed documents or not, oral, practical work, reports, plan, vivas
Session 1 : un examen écrit de 2h en fin de 1ère période (E1a), un examen écrit de 2h en fin de deuxième période (E1b). La note est N1 = E1 = (E1a + E1b)/2
Session 2 : un examen écrit de 1h30 (E2) qui remplace tout : N2 = E2
Pour toutes les épreuves écrites : tous documents autorisés. Toute machine communicante interdite.
Additional Information Curriculum->Work Study Education->Alternance 2eme annee
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
Date of update January 15, 2017