Roberto Di Cosmo
Laboratoire Preuves, Programmes, Systèmes (PPS)
Université de
Paris VII
e-mail:
roberto@dicosmo.org
WWW:
http://www.dicosmo.org
Attention:
les notes de cours sont en evolution, regardez bien la date de dernière modification.
Année 2003-2004
- Le plan du cours
- Les notes de cours (PDF) dern. modif.: 27 Mai 2004
- Les interpretes construits en cours. Attention, vous avez besoin d'une extension de syntaxe
Camlp4 pour l'utiliser, qui est la premiere dans la liste.
Les informations pour l'usage et la compilation des fichiers sont dans les commentaires au debut du fichier
Année 2000-2001
Ici le plan du cours.
Voila l'evaluateur naif en appel par nom et par valeur en Ocaml.
source Ocaml de l'evaluateur naif
Année 1999-2000
Ici le plan du cours.
Voila l'evaluateur pour la machine de Krivine (et autres bricoles)
en CamlLight (pas Ocaml).
source caml-light de l'evaluateur (I)
source caml-light de l'evaluateur (II)
Charges de TD: Antonio
Bucciarelli
La page des TD/TP
se trouve ici.
Bibliographie
Remerciements
- Eugenio Moggi: pour ses explications sur sa vision de l'implementation de la semantique modulaire
- Francois Maurel: pour l'extension de syntaxe Camlp4