Ensimag Rubrique Formation 2022

Semantics and program analysis - 4MM1SAP

  • Number of hours

    • Lectures 18.0
    • Tutorials 18.0


    ECTS 2.0


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


  • 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.

  • Algorithms and imperative programming
  • Language theory


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