UE 4I503 -- APS

Documents

• Notes de cours: APS0
• Notes de cours: APS1
• Notes de cours: APS2
• Notes de cours: APS3
• Quelques notes à propos de lex et yacc

Épreuves et exemples

• Examen réparti 1 - février 2016
• Examen réparti 2 - mai 2016
• Examen de 2nde session - juin 2016

• Examples d'analyses lexicales et syntaxiques:
  lex en C yacc en C
  lex en JAVA yacc en JAVA
  lex en OCAML yacc en OCAML main en OCAML
  un Makefile pour les lier tous
• Autres exemples:
  lex en C yacc en C
  lex en JAVA yacc en JAVA
  lex en OCAML yacc en OCAML main en OCAML
  un Makefile pour les lier tous

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"