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

TD/TP

Archives

Autres ressources

MIPS

Ocaml

Ouvrages sur (et autour de) la compilation