Notes de cours de DEA 1998:
-
Sémantique des langages sequentiels et concurrents
Partie I: Sémantique dénotationnelle pour le sequentiel
- Pages 28-74 en Postscript plus recent
- Introduction (Postscript, Postscript Gzipped)
- TFun, sémantique opérationnelle (Postscript, Postscript Gzipped)
- TFun, sémantique dénotationnelle (Postscript, Postscript Gzipped)
- Non terminaison, limitations de Set(Postscript, Postscript Gzipped)
- Treillis, CPO's, Point fixe, continuité, domaines(Postscript, Postscript Gzipped)
- Erreur, Exceptions, Etat, Commandes(Postscript, Postscript Gzipped)
- Continuation, Monades (Postscript, Postscript Gzipped)
Partie II: Sémantique pour la concurrence
Feuille de TD 1996 Postscript et Postscript Gzipped
Examen 1998gzipped postscript
Quelques pointeurs pour un aprofondissement sont ici.
-
Logique Lineaire
Quelque pointeur...
ARIANE FAILURE REPORT
Roberto Di Cosmo
Roberto Di Cosmo