Compiling Techniques
Università di Pisa
Anno Accademico 2013-2014
docente: prof. Marco Bellia
Guide to the material study. The subject matter and the material with which you can proceed to the its study, are shown below. The material consists of text chapters and lecture slides. For a correct preparation: Read the chapters of the topics presented in the transparencies and find in it, the explanations of the each sentence, formula, structure and example that has been introduced in the transparencies.
Monday 9/30 | Language, Abstract Machine (MA), Construction of MAs, Interpreters and Compilers, Metalanguages: Compiler-Compiler, Bootstrapping. | ch1*, ch11* | slides slides |
---|---|---|---|
Thursday 10/3 | Interpreters and Compilers: FrontEnd, BackEnd. Compiler: Phases and Passes |
ch2*, ch3* | |
Monday 10/7 | Lexics: How to recognize it | ch3* (up to 3.9) | |
Thursday 10/10 | Lexics: Linear analyzers, Properties of Regular Languages, Dotted automata | ch3.9* | |
Monday 10/14 | Lexics: Minimization; Lexics: Exercises |
ch4-4.1* | |
Thursday 10/17 | Grammars: Traski fixpoint computation, Derivation, Lefmost and Rightmost D., Left and Right sentential form | ch4.2* | slides (1-22) |
Monday 10/21 | Top-Down and Bottom-Up Parsing: An Overview FSA and Linear Grammars Exercises |
ch.4.3* | |
Thursday 10/24 | Top-Down: Procedural and Adaptive approaches. Recursive Descent Parser: The structure. Monotony, Persistency. Predictive: Methodology and First - Follow Functions | ch4.3-4* | |
Monday 10/28 | Recursive Descent P.: The Complete Stucture; Inside Adaptive P.: Push-Down Automata. Adaptive P.: The Complete Structure. LL(K) Grammars and Languages: Properties and Conclusions |
ch4.4* | |
Thursday 10/31 | Exercises | ||
Monday 11/4 | MidTerm Exam | ||
Monday 11/11 | Bottom-Up: Why; Handles, VP, LR, SLR, LALR; Valid Items; Collection LR(0): State Closure, Sate Transition Closure; Shift-Reduce PDA | ch4.5, ch4.7 | |
Thursday 11/14 | SLR(1): Applicability; Collection LR(1) and LR(1): Structure and Applicability | ch4.7 | |
Monday 11/18 | Exercises | ||
Thursday 11/21 | LALR: Collection LALR(1), Table, Applicability | ch4.7 | |
Monday 11/25 | Attribute Grammars | ch5-5.2 | |
Thursday 11/28 | Attribute Grammars: L-attributed | ch5.3-4 | |
Monday 12/2 | Attribute Grammars: L-Evaluators | ch5.4-5 | |
Tomorrow 12/3 | Question Time - |
Question Time | Question Time |
Thursday 12/5 | L-Evaluators: Markers,Factorization. Static Analysis: Principles. Code Genaration: 3AC | ch5.6, 5.10; ch6-6.1; ch8-8.1 |
|
Monday 12/9 | Code Generation byEmit. Expressions (LR and LL L-attributed). Commands: Assignment, for Sequence Control (while) | ch8.2-3 | slides(9-10) |
Tuesday 12/10 | Question Time - in my office, starting 17:30 |
Question Time | Question Time |
Thursday 12/12 | Translation by Backpatching. Applications: Iteration, Conditional, Short Circuit | ch8.6(8.4,8.5) | slides(5-13) |
Monday 12/16 | In preparation of the End Term exam | ||
Tuesday 12/17 | Question Time - in my office, starting 17:30 |
||
Thursday 12/19 | End Term Exam |
||
Tuesday 01/14/2014 | Appello I: Preliminary Part time 14:00 room A |
||
Thursday 01/16/2014 | Appello I: Final Part & Registration time 09:00 room C |
||
Tuesday 02/4/2014 | Appello II: Preliminary Part time 14:00 room A |
||
Thursday 02/6/2014 | Appello II: Final Part & Registration time 14:00 room C |
*[ALSU] - see Reference Texts in General Informations