Théorie de la Programmation - L3IF      


Cours assuré par Daniel Hirschkoff
Chargés de TDs/TPs: Alexandre Isoard, Jean-Marie Madiot, Antoine Plet


Transparents du cours disponibles ici (à noter que l'essentiel du cours est donné au tableau).

La page des TPs/TDs.


Code Coq, fichiers divers ici -- et une fiche de triche


Sujet du premier DM, à rendre avant le jeudi 23 octobre à 19h. Fichier Coq qui va de pair.

Bibliographie

Ouvrage de référence pour la première partie du cours: Glynn Winskel, The Formal Semantics of Programming Languages, MIT Press (disponible à la bibliothèque).
Ouvrage de référence pour la deuxième partie du cours: F. Baader et T. Nipkow, Term Rewriting and All That, Cambridge University Press (disponible à la bibliothèque).

Ouvrages pour approfondir: