Principes des langages de programmation
Documents
Consultez le calendrier google de la programmation de ce cours.
Note : cette page, les planches et chapitres sont mis à jour progressivement, au fur et à mesure du déroulement du cours.
- Cours (intro du poly):
-
- 1,2 - Introduction, langages de programmation, premiers pas en OCaml (poly, planches)
- 3 - Expressions rationnelles, automates, analyse lexicale (poly, planches)
- 4 - Grammaires algébriques, analyse syntaxique (poly, planches)
- Lecture - Sémantique dénotationnelle (poly, planches)
- 5 - Sémantique opérationnelle (poly, planches)
- Lecture - Termes du premier ordre, filtrage, unification (poly, planches)
- Lecture - Typage (poly, planches)
- Lecture - Objets (poly, planches)
- 6 - Gestion de la mémoire (poly, planches)
- Lecture - Lambda-calcul (poly, planches)
- le cours de compilation de Luc Maranget à l'X
- le support de cours sur les termes du premier ordre d'Hubert Comon et Jean-Pierre Jouannaud
Annexes
- Documentations en ligne
- Histoire des langages de programmation
- Une table généalogique chez O'Reilly, avec accès au poster.. Voir aussi la version originale.
- L'inévitable Wikipedia: Alphabetical list of programming languages.