UE 4I503 -- APS

Documents de cours

• Notes de cours: APS0
• Notes de cours: APS1
• Notes de cours: APS2
• Notes de cours: APS3 et formulaire
• Quelques exemples à propos de lex, yacc et les AST

Exemples de programmes APS

• APS0
• APS1
• APS2
• APS3

Examens

• Exmanen réparti 2: corrigé

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"