UE MU4IN503 -- APS

Évaluation finale

L'évaluation portera sur votre implémentation de APS0 et APS1. Voir les consignes de remise de votre travail dans ce document.

Documents de cours

Notes de cours: APS0

Pour les TME

Quelques exemples à propos de lex, yacc et les AST
Quelques mots de PROLOG.

Exemples de programmes APS

Archives tgz

Examens

Références

HREF: Vérification de types
LIVRE: "B. Pierce, Types and Programming Languages"
HREF: Sémantique opérationnelle
HREF: Sémantique opérationnelle
LIVRE: "G. Winskel, The Formal Semantics of Programming Languages"

Page initiale Maison
Page précédente Enseign ement