Sémantique des langages de programmation 2011/2012

Les transparents du cours

Chapitre		Dernière mise à jour
Introduction et Rappels (PDF)		8/02/12
Réécriture Abstraite (PDF)		8/02/12
Introduction au Lambda Calcul (PDF)		8/02/12
Sémantique Opérationnelle du Lambda Calcul (PDF)		1/03/12
Sigma Algèbres (PDF)		8/03/12
Techniques pour la confluence (PDF)		29/03/12
Techniques pour la terminaison (PDF)		12/04/12
Stratégies de réduction (PDF)		03/05/12

Le cours et le TD commencent le 2 Février (salle 478F).

Le cours et le TD du jeud 15 Mars sont annulés.

Un rattrapage est prévu le mercredi 21 Mars de 12h30 à 14h30 en salle 415B.

Le dernier TD aura lieu le jeudi 10 Mai de 14h30 à 16h30 en salle 478F.

Le partiel (qui est obligatoire) aura lieu le 22 Mars, de 12h45 à 15h45 en salle 478F.

L'examen final aura lieu le 21 Mai, de 15h30 à 18h30 (salle 470E).

Pendant le partiel et les examens, les étudiants auront droit uniquement à la consultation de deux feuilles A4 manuscrites et strictement personnelles. Tous les autres documents ne seront pas autorisés.