Sémantique et Traduction des langages

Objectives

To discover, understand and know how to use the mathematical and computer science tools necessary for formal modeling and the use of the semantics of computer languages in programming tools. The subject covers both theoretical and practical aspects through the use of state-of-the-art tools allowing the construction of analysis and execution tools for programs (interpreter, compiler).

Description

Theoretical and practical study of :

Operational semantics
Axiomatic semantics
Interpreter
Compiler
Static analyzer
Proof of correctness of such tools
Targeted skills
Modeling the semantics of computer languages.

Construction of program analysis tools.

Construction of program execution tools.

Construction of program translation tools.

Pre-requisites

Modeling (see Modeling subject of the Modeling and Programming UE)

Automata and language theory

Session 1 ou session unique - Contrôle des connaissances

Session 2 - Contrôle des connaissances