UE 4I503 -- APS

Documents

• Syntaxe, Lex et Yacc
• Typage
• Sémantique opérationnelle
• Sémantique dénotationnelle

Épreuves et exemples

• Un petit «LOGO»
• Examen réparti 1 - mars 2015

• Programmes sources BOPL.

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"