Retour page d'accueil

Langages de programmation, interprétation, compilation

Ce cours explore trois questions à propos des langages de programmation :

1. leur définition par une sémantique et une, ou plutôt deux, syntaxe(s),
2. leur interprétation, c'est-à-dire l'écriture d'une fonction qui prend en entrée un programme (donné par son code source) et ses éventuels arguments et renvoie le résultat de l'exécution du programme,
3. leur compilation, c'est-à-dire l'écriture d'une fonction qui prend entrée un programme (donné par son code source) et produit un programme équivalent écrit dans un autre langage.

Documents

Notes de cours

• Partie 1 : vue d'ensemble [ notes ]
• Partie 2 : analyse syntaxique [ notes ]
• Partie 3 : sémantique et compilation d'un langage impératif [ notes ]
• Partie 4 : sémantique et compilation d'un langage orienté objet [ notes ]

TD/TP

• 4 septembre : TP caml
  • Énoncé [ .pdf ]
  • Corrigé [ corrigé ]
• 11 septembre : induction structurelle
  • Énoncé [ .pdf ]
  • Code à compléter [ .ml ]
  • Corrigé [ .pdf ]
• 18 septembre : grammaires
  • Énoncé [ .pdf ]
  • Corrigé [ .pdf ]
• 25 septembre : assembleur
  • Énoncé [ .pdf ]
  • Fichiers [ mystère 1 | mystère 2 | mystère 3 | traduction IMP ]
  • Corrigé [ .pdf ]
• 2 octobre : expressions régulières et automates
  • Énoncé [ .pdf ]
  • Corrigé [ .pdf ]
• 9 octobre : analyse ascendante
  • Énoncé [ .pdf ]
  • Corrigé [ .pdf ]
• 16 octobre : analyse syntaxique, ocamllex, menhir
  • Énoncé [ .pdf ]
  • Fichiers [ if | fcall | fcall2 | impcat ]
• 6 novembre : types
  • Énoncé [ .pdf ]
  • Corrigé [ .pdf ]
• 13 novembre : [ début projet Kawa ]
• 20 novembre : assembleur (fonctions et mémoire)
  • Énoncé [ .pdf ]
• 27 novembre : suite projet Kawa [ sujet mis à jour ]

Archives

• Partiel 2022 [ énoncé corrigé ]
• Partiel 2021 [ énoncé corrigé ]
• Examen 2021 [ énoncé ]

Autres ressources

MIPS

• Simulateur MARS
• Documentation

Ocaml

• Fiche The OCaml Language
• Fiche OCaml Standard Tools
• Fiche OCaml Standard Library
• Fiche OCaml Emacs Mode (Tuareg)
• Conchon et Filliâtre, Apprendre à programmer avec OCaml. Algorithmes et structures de données. (ouvrage)

Ouvrages sur (et autour de) la compilation

• Aho, Lam, Sethi et Ullman, Modern Compilers: Principles, Techniques, and Tools.
  Dit le dragon.
  Traduit en français (Compilateurs : principes, techniques et outils).
• Pierce, Types and Programming Languages.
• Bryant et O'Hallaron, Computer Systems: A Programmer's Perspective.
• Nisam et Schocken, The Elements of Computing Systems: Building a Modern Computer from First Principles.
• Appel, Modern Compiler Implementation in ML.