Théorie de la Programmation - L3IF      


Cours assuré par Daniel Hirschkoff
Chargés de TDs/TPs: Guillaume Iooss, Maxime Senot, Fabio Zanasi


Transparents du cours disponibles ici (à noter que l'essentiel du cours est donné au tableau).
Version imprimable des transparents (8 par page).

Code Coq, fichiers divers ici -- et une fiche de triche
code pour l'exemple concernant les analyses lexicale et syntaxique (taper tar zxf lexyacc.tgz dans un terminal pour decompresser, lire ensuite le fichier README.txt).
code sur le traitement des lieurs à l'ordre supérieur.

Page des TDs.

Sujet du DM numéro 1.
Sujet du partiel de l'an dernier.
Sujet du DM numéro 2.
Sujet de l'examen de l'an dernier.

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: