Principi di Linguaggi di Programmazione

COMPILATORI

Compiling Techniques

LAUREA Magistrale in INFORMATICA

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
Lexics: How to define it

ch2*, ch3*

slides

Monday 10/7 Lexics: How to recognize it ch3* (up to 3.9)

slides

Thursday 10/10 Lexics: Linear analyzers, Properties of Regular Languages, Dotted automata ch3.9*

slides slides

Monday 10/14

Lexics: Minimization; Lexics: Exercises
Syntax: Grammar and Language Classifications

ch4-4.1*

exercises
slides

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*

slides (22-26)
slides
slides

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*

slides

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*

slides

Thursday 10/31 Exercises  

exercises

Monday 11/4 MidTerm Exam  

text
results

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

slides

Thursday 11/14 SLR(1): Applicability; Collection LR(1) and LR(1): Structure and Applicability ch4.7

slides

Monday 11/18 Exercises  

exercises

Thursday 11/21 LALR: Collection LALR(1), Table, Applicability ch4.7

exercises
slides

Monday 11/25 Attribute Grammars ch5-5.2

slides

Thursday 11/28 Attribute Grammars: L-attributed ch5.3-4

slides

Monday 12/2 Attribute Grammars: L-Evaluators ch5.4-5

slides

Tomorrow 12/3

Question Time -
in my office, starting 17:30

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

slides
slides slides
slides(1-8)

Monday 12/9 Code Generation byEmit. Expressions (LR and LL L-attributed). Commands: Assignment, for Sequence Control (while) ch8.2-3

slides(9-10)
slides(1-4)

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  

slides

Tuesday 12/17 Question Time -
in my office, starting 17:30
   
Thursday 12/19

End Term Exam
time 14:00 room L1

Result
Text

 
Tuesday 01/14/2014 Appello I: Preliminary Part
time 14:00 room A

Results
Text

 
Thursday 01/16/2014 Appello I: Final Part & Registration
time 09:00 room C

Results

 
Tuesday 02/4/2014 Appello II: Preliminary Part
time 14:00 room A

Results
CompilerText
ParadigmText

 
Thursday 02/6/2014 Appello II: Final Part & Registration
time 14:00 room C

Results

 

*[ALSU] - see Reference Texts in General Informations