Cours de Sémantique pour le M1 du Master d'Informatique de Paris 7

(ex Maîtrise d'Informatique)
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

  1. Le plan du cours
  2. Les notes de cours (PDF) dern. modif.: 27 Mai 2004
  3. 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

Valid HTML 4.01!