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

Contact: Vous pouvez me poser des questions sur les exercices entre les séances de TD à cette addresse: jlamiroy@lmf.cnrs.fr