| Cours | Chapitres à lire |
| 3 Sémantique | Pierce 3-4-5 |
| 4 Typage | Pierce 8-9-10 et 22 / Appel 16 |
| 5 Analyse lexicale | Appel 2 |
| 6 Analyse syntaxique | Appel 3 |
| 8 Compilation des langages fonctionnels | Appel 15 |
| 8 GC | Appel 13 |
| 9 Compilation des langages objets | Appel 14 |
| Français | English |
| appelant | caller |
| appelé | callee |
| assembleur (langage) | assembly language |
| assembleur (outil) | assembler |
| compilateur | compiler |
| décalage | shift |
| état | state |
| grammaire | grammar |
| grands pas | big steps |
| interprète | interpreter |
| langage source | source language |
| langage cible | target language |
| mémoire | memory |
| octet | byte |
| petits pas | small steps |
| pile | stack |
| récurrence | induction |
| registre | register |
| règles d'inférence | inference rules |
| sémantique | semantics |
| dénotationnelle | denotational semantics |
| opérationnelle | operational semantics |
| sucre syntaxique | syntactic sugar |
| syntaxe abstraite | abstract syntax |
| tas | heap |
| type récursif | recursive datatype |
| variable libre | free variable |