Number of hours
- Lectures 18.0
- Projects -
- Tutorials 18.0
- Internship -
- Laboratory works -
- Written tests -
ECTS
ECTS 2.0
Goal(s)
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.
Responsible(s)
Xavier NICOLLIN
Content(s)
- Elements of theory: fixed point and decidability
- 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
- Algorithms , imperative programming
- Language theory
Test
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 : tous documents autorisés. Toute machine communicante interdite.
Calendar
The course exists in the following branches:
- Curriculum - Work Study Education - Alternance 2eme annee
Additional Information
Course ID : 4MM1ACSS
Course language(s): 
The course is attached to the following structures:
You can find this course among all other courses.