Ricerche e Proposte di Tesi – Research and proposals for Theses

·        Formal Languages and Compiler Group



Didattica – Teaching

·        Linguaggi Formali e Compilatori

·        Trasformazione e Ottimizzazione del Codice

·        Software Compiler (ALARI)




      Libri – Books

·        Formal Languages and Compilation, Springer, New York, 2009.

·        Course Slides

·        Problems and Solutions

·        Linguaggi Formali e Compilazione, Pitagora, Bologna, 2007.

·        Lucidi delle lezioni


·        Linguaggi Formali nella Scienza della Comunicazione, Zanichelli, Bologna 2002.

·        Problemi e Soluzioni


    Some papers

·         S. Crespi Reghizzi and D. Mandrioli, Operator precedence and the visibly pushdown property, 2010.