Pierre Letouzey

Semestre 2

Machines Virtuelles (MV6, Licence 3)

Support de cours:

• Cours1 : pdf

Références:

• Une description des instructions du bytecode Caml par X. Clerc
• La spécification de la JVM. Une liste condensée et imprimable des instructions de la JVM.

Preuves Assistées par Ordinateur (Master 1)

Notes de cours (préparées par Alexandre Miquel)

• Le document principal
• Le système T de Gödel
• La théorie des types simples de Church
• Un petit guide de survie pour Coq

Sujets des TD/TP:

• TD1 (déduction naturelle): pdf
• TD2 (premiers pas en Coq): pdf

Annales:

• Sujet de 2005
• Sujet de 2006

Semestre 1

Principes de Fonctionnement des Ordinateurs (PF1, Licence 1)

Voir pour l'instant la page du cours de l'année dernière chez Jean-Marie Rifflet.

Programmation Fonctionnelle (PF3 en L2 Math-Info / PF5 en L3 Info)

Voir la page principale du cours chez Ralf Treinen.

Architecture des Ordinateurs (Master 1)

La page principale du cours chez Olivier Carton.

Les feuilles de TDs se trouvent sur la page Didel de ce cours.

Typage (Master 2)

A venir...

Anciens cours

Me contacter.