UE MU4IN503 -- APS

Documents de cours

• Diapos cours 1 : Principe du cours -- Syntaxe
• Diapos cours 2 : Typage
• Diapos cours 3 : Sémantique
• Fichier texte cours 4 : Exercices
• Diapos cours 5 : APS1: syntaxe, typage, sémantique
• Fichier texte cours 6 : Exercices (suite)
• Diapos cours 7 : APS1a: analyse critique
• Fichier texte cours 8 : Exercices
• Diapos cours 9 : APS2: tableaux
• Diapos cours 10 : APS3: fonctions prcédurales
  Exercice avec APS2

Pour les TME

• Exemples pour lex/yacc archive
• Quelques mots sur prolog

Évaluation

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

Exemples de programmes APS

Examens (archives)

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