Médiagraphie
Le contenu du cours sera en grande partie une synthèse des trois manuels suivants:
- Practical Foundations for Programming Languages (PFPL), par Robert Harper, 2e édition. Disponible en ligne, seulement en anglais. Errata.
- Semantics of Programming Languages, par Robert D. Tennent. Disponible à la Bibliothèque de l’Université McGill, seulement en anglais. Disponible en ligne sur l’Internet Archive.
- Semantics of programming languages : structures and techniques, par Carl A. Gunter. Disponible en réserve à la Bibliothèque des sciences de l’UQAM, seulement en anglais. Disponible en ligne sur l’Internet Archive.
Les manuels suivants peuvent complémenter les présentations des manuels ci-haut:
- Semantics with Applications: A Formal Introduction (N&N), par Hanne Riis Nielson et Flemming Nielson. Disponible en ligne, seulement en anglais.
- Theories of Programming Languages, par John C. Reynolds. Disponible en ligne, seulement en anglais.
- Foundations for programming languages, par John C. Mitchell. Disponible en réserve à la Bibliothèque des sciences de l’UQAM, seulement en anglais.