1 Le programme des cours

Ceci est un programme indicatif, et je changerai probablement certaines informations ici ou là, au fur et à mesure.

Mardi 17 septembre: cours 1, et les transparents et TD1. Diversité des langages de programmation. Un petit programme simple en C. Représentation des entiers, des caractères. Non, on n’aura pas le temps de faire tout ce qui est dans le poly du cours pour cette séance.
Mardi 25 septembre, suite du cours 1: sémantique, bugs et cambouis, bases de langages impératifs, représentation des types de données de base. Puis le cours 2 proprement dit et TD 2: assembleur x86 (et MIPS en TD), mémoire, adresses, pointeurs, tableaux, la pile.
Mardi 01 octobre: cours 3 3 [suite du poly du cours 2], et TD 3.
Mardi 08 octobre: cours 4 et TD 4.
Mardi 15 octobre: Cours 5 et TD 5. Le cours 5 est juste la suite du poly du cours 4.
Mardi 22 octobre: cours 6 et TD 6. On sort du cambouis, et on commence à faire de la sémantique. Voici la première série de transparents de ce cours de sémantique.

Pas de cours la semaine du 28 octobre au 03 novembre: vacances de la Toussaint.

Mardi 05 novembre: cours 7 et TD 7. Voici la deuxième série de transparents de ce cours de sémantique.
Mardi 12 novembre: cours 8 (suite des polys précédents) et TD 8. Voici la troisième série de transparents de ce cours de sémantique.
Mardi 19 novembre: cours 9 et TD 9. Voici la quatrième série de transparents de ce cours de sémantique.
Mardi 26 novembre: (visite de labos ou) cours 10 et TD 10. Voici la série de transparents que nous utiliserons pour parler de typage.
Mardi 03 décembre: (visite de labos ou) cours 11 et TD 11.
Mardi 10 décembre: (visite de labos ou) cours 12 et TD 12. Suite des cours précédents, ou bien, si le temps le permet, les bases de l’interprétation abstraite, la théorie qui sous-tend l’analyse statique de programmes, avec les transparents.
Mardi 17 décembre: (visite de labos ou) cours 13 et TD 13.

Pas de cours les deux semaines du 21 décembre au 05 janvier: vacances de Noël.