Ensimag Rubrique Formation 2022

Semantics and program analysis - 4MMSAP

  • Number of hours

    • Lectures 13.5
    • Tutorials 13.5
    • Laboratory works 6.0


    ECTS 2.5


This course is an introduction to the foundations of semantics and program analysis. It presents the basis necessary
to specify and design reliable applications, as well as to build and use analysis and verification tools.

Contact Marie-Laure POTET


  • Operational semantics of programming languages.
  • Weakest precondition and program proof.
  • Data-flow analysis.
  • Static analysis and abstract interpretation.
  • Applications to compilers and to software safety and security.
  • Practical works with two industrial tools.


Courses of Programming and Language theory (1st year).


Written exam

Additional Information

Curriculum->ENGINEERING systm of information->Semester 4
Team->Programming and Software