Sémantique des langages de programmation 2014/2015



Les transparents du cours

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




Le cours commence le jeudi 22 Janvier (salle 2027 - Sophie Germain).

Le TD commence le jeudi 29 Janvier (salle 2027 - Sophie Germain).

Le partiel (qui est obligatoire) aura lieu le 19 Mars de 13h30 à 16h30 (salle 2027 - Sophie Germain).

Le dernier TD aura lieu le jeudi 16 Avril de 14h30 à 16h30 (salle 2027 - Sophie Germain).

L'examen final aura lieu le 28 Mai de 12h à 15h (salle 6C - Halle aux Farines).

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