Course Details for A.Y. 2010/2011

Course Content

• Programming Languages Syntax: Context-Free Grammars, Derivation Trees, Ambiguity
• Programming Languages Semantics: Transition System
• - Java
• Expressions, Commands, Class Library

Assessment Methods and Criteria

Chi ha acquisito la frequenza negli anni precedenti al 2007/08 dovrà sostenere l'esame del corso di Fondamenti di Programmazione. Gli studenti immatricolati nell'A.A. 2007/08 dovranno sostenere l'esame unico di Fondamenti di Programmazione con Laboratorio.

Textbooks

• R. Barbuti, P. Mancarella, D. Pedreschi, F. Turini, Elementi di Sintassi dei Linguaggi di Programmazione , Corso di Laurea in Informatica Università di Pisa a.a. 2004/05. Il materiale e' reperibile nelle copisterie circostanti la facoltà e on-line nel sito ufficiale dell'Università di Pisa    
• R. Barbuti, P. Mancarella e C. Montangero, Semantica Operazionale Il materiale e' reperibile nelle copisterie circostanti la facoltà e on-line nel sito ufficiale dell'Università di Pisa    
• M. Autili, P. Inverardi, Semantica Operazionale di +/- Java - 03 Dicembre 2010 La nuova versione della dispensa sulla Semantica Operazionale di +/-Java - 03 Dicembre 2010 rivisita la versione del 10 Gennaio 2010. La nuova versione dovra' essere considerata come la versione ufficiale dell'A.A. 2010-11. http://informatica.di.univaq.it/getres.php?resid=1053   
• M. Autili, P. Inverardi, Semantica Operazionale di +/- Java - 10 Gennaio 2010 La versione del 03 Dicembre 2010 dovra' essere considerata come la versione ufficiale dell'A.A. 2010-11. Gli studenti degli anni precedenti possono comunque utilizzare la versione del 10 Gennaio 2010. http://informatica.di.univaq.it/getres.php?resid=903   

Internet Resources

Course page updates

• A.Y. 2010/2011
• A.Y. 2011/2012
• A.Y. 2012/2013
• A.Y. 2013/2014
• A.Y. 2014/2015
• A.Y. 2015/2016
• A.Y. 2016/2017
• A.Y. 2017/2018
• A.Y. 2018/2019
• A.Y. 2019/2020