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).
Une version imprimable des transparents (avec moins d'illustrations).

La page des TPs/TDs.


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


Sujet du partiel de l'an dernier.

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

Sujet et archive pour le second DM, à rendre avant le mercredi 7 janvier à 23h59.

Sujet de l'examen de l'an dernier.

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: