UE MU4IN503 -- APS

Documents de cours

• Introduction : diapos
• APS0 -- noyau fonctionnel: notes de cours formulaire
• APS1 -- noyau impératif: notes de cours formulaire
• APS1a -- valeurs et références: notes de cours formulaire
• APS2 -- tableaux: notes de cours formulaire
• APS3 -- fonctions pocédurales: notes de cours formulaire

Version précédente

• APS0 : notes de cours formulaire

Pour les TME

• Exemples pour lex/yacc archive

Évaluation

• Examen 1: 33%
• Examen 2: 33%
• Réalisation TP: 34%

Exemples de programmes APS

Examens (archives)

• Examen réparti 1 2020 énoncé 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"