Sémantique
M1 Informatique ENS Bretagne 2e année / Université de Rennes 1 -- 2007/2008
Me contacter pour obtenir les corrections.
2008
- TD1 : Folk Theorem (télécharger le pdf)
- TD2 : Points Fixes (télécharger le pdf)
- TP1 (3 semaines) : Sémantique Opérationnelle de TOY.
- TD4 : Points Fixes dans les CPO (télécharger le pdf)
- TD5 : Sémantique dénotationnelle par continuation (télécharger le pdf)
- TP2 (3 semaines) : Sémantique dénotationnelle par continuations de TOY.
- TD6 : Liaisons en sémantique standard (télécharger le pdf)
- TD7 : Blocs, fonctions et procédures en sémantique standard (télécharger le pdf)
- TD8 : Sémantique axiomatique (télécharger le pdf)
2007
- TD1 : Points Fixes (télécharger le pdf)
- TD1 - bis : Points Fixes dans les CPO (télécharger le pdf)
- TD2 : Folk Theorem (télécharger le pdf)
- TP1 (3 semaines) : Sémantique Opérationnelle de TOY.
- TD3 : Continuations et réponses (télécharger le pdf)
- TD4 : Liaisons, déclarations et blocs (télécharger le pdf)
- TP2 (3 semaines) : Sémantique dénotationnelle par continuations de TOY.
- TD5 : Logique de Hoare, preuves de validité (télécharger le pdf)