Organisation de CAP- 2020-2021 - ENS de Lyon

Cours par Laure Gonnord et xxx les jeudi 10H amphi B, en distanciel (14 séances dont un partiel)
2 groupes de TD/TP(14 séances de TD ou TP), le jeudi à 10h15, selon des modalités à définir. Ecadrement Paul Iannetta et xxx,yyy

Documentation lexer ANTLR. Documentation parser.
Books : Dragon Book (Aho/Sethi/Ullman), Program Analysis (Nielson/Nislon/Hankin), Engineering a compiler (Cooper/Torczon). The reference Manual of ANTLR. Other useful ressources are linked here
Grammars: a bit of theory here, see also chapter 3 of this book. Exercices: section 1 = write attributes
Semantics: a course on operational semantics. Exercices (forget about functions): for instance : here and here(only section1) (or type "operational semantics exercises" in Google)
Typing: safety of mini-ml typing.. A course: . A good exercice (forget the functions in the grammar) partII
The Sethi and Ullman (1970) paper : acm lib. If you want a printed version, ask me!
A survey on register allocation
A (free!) book on static analysis (abstract interpretation)
A bit of reading about Hoare logic
JC Fernandez course in Grenoble semantics and compilation
Fernando Pereira course on compilation

Contacts (at ens-lyon point fr)

Please prefix the object of your email with [CAP] ....