Perfilado de sección

◄Partie 4 : Programmation objet
►MPRI - Project

  • This section is dedicated to Master's students following the M1 course on Programming Languages, Semantics and Compilers

     This course explores programming languages, focusing on two main topics:

    • their semantics, that is the formal description of the meaning of programs ;
    • their compilation, that is the decomposition of high-level source language programs into simpler instructions whose execution can be performed by a computer.

    We will define a functional programming language with a rich type system, and build an optimizing compiler and an execution environment for this language.

    This course has been created by Thibaut Balabonski, and will be taught in 2025-26 by Christine Paulin


◄Partie 4 : Programmation objet
►MPRI - Project