Modèles de programmation

Cette page est la page officielle du cours intitulé "Modèles de Programmation" qui s'adresse aux étudiants du master LMFI.

Nouvelles fraiches

premier cours le lundi 16/11/2009, salle 1C22 de 14h à 18h avec passage sur machines,

1er cours : noyau fonctionnel et déclaration de types, correspondant au chapitre 2 de DAOC (cf lien)
- feuille d'exos un peu longue à réaliser en deux séances sur machine.
- les solutions en ml
- des exos supplémentaires (faire TME1 exo 1, TD2 exos 1 et 2, TME2 exos 2, 3 et 4)
2eme cours : suite de déclaration de types, correspondant au chapitre 2 de DAOC (cf lien)
- d'autres exos (TD2/TME 2 et TD3/TME3).
3eme cours : exceptions (correspondant à la deuxième partie du chapitre 2 de DAOC, cf lien) et noyau impératif ( correspondant à la deuxième partie du chapitre 3 de DAOC, cf lien)
- feuille d'exos un peu longue
- d'autres exos (TD4/TME4).
4eme cours : modules, correspondant à la deuxième partie du chapitre 14 de DAOC (cf lien)
- d'autres exos (TD5/TM5)
5eme cours : typage et inférence de types du noyau fonctionnel et impératif; introduction à la programmation objet (laison tardive et sous-typage)
- autres exos (lien)

vérificateur de tautologie dans le calcul des propositions (cf lien) avec des précisions.
derivees symboliques à une variable (exo 1.13 ou 13 de la feuille d'exos) et simplification
un interprete de la machine de Turing
votre proposition

Remarques? dernière modification : 13/12/2009