Informations générales
La mailing-liste de ce cours est :
(on peut s'incrire
ici
). Le cours se déroule le mercredi de 12h30 à 14h30 en salle 470E
sous la responsabilité de Yann Régis-Gianas. Les travaux dirigés ont
lieu en alternance en salle 548C.
Projet
Le sujet.
Le code fourni.
Cours 1: Qu'est-ce qu'une machine virtuelle ?
Les transparents du cours.
TD 1: Le concours ICFP 2006
La spécification de la machine
. Un fichier de
test.
Enfin, une petite aide en
OCaml,
en
Java
et en
C
. Une fois que votre machine virtuelle fonctionne,
évaluer
ce programme.
Cours 2: La machine virtuelle d'OCaml
Les transparents du cours.
TD 2: La machine virtuelle d'OCaml
Le sujet.
Cours 3: La machine virtuelle de JVM
Les transparents du cours.
TD 3: La machine virtuelle de JVM
Le sujet.
Un exemple de fichier Jasmin.