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.

Notes de cours

• Partie 1 : vue d'ensemble [ notes ]

Programme

Première période.
Date	Cours	TD/TP
07/09	1. Panorama	TP mise en route caml [ énoncé | corrigé ]
14/09	2. Interprétation	TD induction structurelle [ énoncé | imp.ml | corrigé ]
21/09	3. Syntaxe	TD grammaires [ énoncé ]
28/09	4. Assembleur	TP assembleur MIPS
05/10	5. Analyse lexicale	TD expression régulières
12/10	6. Analyse syntaxique	TD analyse ascendante
19/10	Partiel
26/10	Vacances

Autres ressources

MIPS

• Simulateur MARS
• Documentation

Ocaml

• Vous trouverez de nombreuses ressources sur ocaml.org
• 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.