Programmation 1, partie 2: Sémantique
Sujets:
- 18/11 Introduction -- TD1
- 25/11 Trellis - TD2
- 02/12 Topologie et triplets de Hoare - TD3
- 09/12 Fin TD3, plus de topologie - TD4
- 16/12 Rappels et typage - TD5
- 06/01 Sujet d'Examen - sujet 2023
Corrigés (WIP):
Toujours en chantier, mais vous pouvez déjà consulter ces corrigés:
Contact:
Vous pouvez me poser des questions sur les exercices entre les séances de TD à cette addresse: jlamiroy@lmf.cnrs.fr