Argomenti del programma: - Linguaggi regolari e liberi - Analisi lessicale e sintattica e genrazione di scanner e parser - Aspetti contestuali e loro analisi - Rappresentazioni intermedie - Tabelle dei simboli: rappresentazione e gestione - Funzioni e procedure - Analisi statiche (data flow, control flow, abstract interpretation) - Ottimizzazioni - Generazione di codice
Testi d'esame di Compilation Techniques del prof. Roberta Gori, canale unico, corso di laurea in Informatica – sede di Pisa (Laurea magistrale (LM-18)), Università di Pisa, esame facoltativo · Foundations of Software · 9 CFU, a.a. 2026/2027. Libri adottati: Keith – Linda Torczon; Alfred – Ravi Sethi; Terence Parr – Language Implementation Patterns; Peter Sestoft: Programming Language Concepts. Springer, 2012; Andrew – Jens Palsberg; Flemming Nielson – Principles of program analysis.
Libri Universitari