Résumé de section

◄MPRI - Course on Programming Languages, Semantics and Compilers

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

     It describes the three parts of the project that is a mandatory requirement to pass the course


    • Projects Devoir
      Ouvert le : jeudi 9 octobre 2025, 00:00
      À rendre : mardi 21 octobre 2025, 14:00
    • Part 1 : type-checker and interpreter Page

      The first part of the project is to design a type-checker and an interpreter for the MINI-ML language studied in the course.

    • Files for practical session 1 : interpreter and type-checker Fichier ZIP
    • Part 2 : Compiling the IMP language Page

      The second part of the project is to design an optimized compiler for a core imperative language (IMP) generating MIPS code, using as much as possible registers for local variables. 



    • Description of the IMP language Page
      We describe the syntax of the IMP language, a core imperative language with only integer variables.

    • Erratum : liveness analysis Page
    • Files for the code generator Fichier ZIP
    • Part 3 : compiling Mini-ML Page
◄MPRI - Course on Programming Languages, Semantics and Compilers