Compiling Techniques
Università di Pisa
Anno Accademico 2012-2013
docente: prof. Marco Bellia
Guide to the material study. Below is shown the subject matter and the material with which you can proceed to the its study. This material consists of text chapters and lecture slides: These are not intended as one another alternative. Slides must be used as the guide to learning and text to complement and clarify what is shown on the 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/24 | Languages: Syntax, Semantics, and Machine Executor. Construction of MAs | cap1* | slides |
---|---|---|---|
Wednesday 9/26 | Interpreters and Compilers: Principles. FrontEnd, BackEnd. Metalanguages: Compiler-Compiler, Bootstrap. | cap2*-cap11* | |
Monday 9/30 | How to define a lexics | cap3* | slides |
Wednesday 10/3 | How to do lexical recognizes - Remarks/Exercises | cap3* | slides |
Monday 10/8 | FSA: Properties, Drivers | cap3* | slides |
Wednesday 10/10 | Specimen: Correction. FSA: Drivers; Diagrams; Dotted Automata | cap3* | slides exercises |
Monday 10/15 | Syntax: Gramars and Languages. Sentential Forms, Trees, Tarski's Th. | cap4* | slides |
Wednesday 10/17 | Top-Down, Bottom-Up - Exercises FSA vs. Linear Grammars |
cap4* | slides LexPack slides |
Monday 10/22 | Top-Down: Recursive Descent Parsers. Predictive Grammars and Parsers. First and Follow Functions | cap4* | slides |
Wednesday 10/24 | Top-Down: Adaptive Parsers | cap4* | slides |
Monday 10/29 | Bottom-up: Handles, VP | cap4* | slides
Exercises on Trees |
Wednesday 10/31 | SLR(1) | cap4* | slides |
Monday 11/5 | block of lessons for Midterm Exams | ||
Wednesday 11/7 | block of lessons for Midterm Exams | ||
Monday 11/12 H11-12 | block of lessons for University Convocation | to be recovered | |
Monday 11/12 H12-13 | LR(1)-LALR(1) | cap4* | slides |
Wednesday 11/14 | block of lessons for National Trade Union Demostrazion | to be recovered | |
Monday 11/19 | Exercises | Exercises | |
Wednesday 11/21 | Attribute Grammars | cap5* | slides |
Monday 11/26 | Attribute Grammar Evaluators | cap5* | slides |
Wednesday 11/28 | Markers and Factorization |
cap5*/cap6* | Proposed Exercise slides |
Monday 12/3 | Static Analysis. Type Systems | cap6* | Proposed Exercise1 Proposed Exercise2 slides |
Wednesday 12/5 | Type Checking 3AddressCode: Compositional Translation of Expressions |
cap6* cap8* |
slides slides |
Monday 12/10 | Translation Invariants for Commands; Backpaching: Applications to Short-circuit | cap8* | slides |
Wednesday 12/12 | Exercises: Discussed, Proposed | slides | |
Monday 12/17 | A sample of what you can to do with the last part of the lectures | ||
Wednesday 12/19 | A sample of what you can to do with the last part of the lectures | recovered lessons | slides |
Friday 1/11 | Preliminary Exam (I Session) | ||
Friday 1/18 | Final Exam (I Session): Room C starting at 9 am |
||
Thursday 2/7 | Preliminary Exam (II Session) | ||
Thursday 2/14 | Final Exam (II Session): Room C starting at 9 am |
*[ALSU] - see Reference Texts in General Informations