Dettagli sull'Insegnamento per l'A.A. 2010/2011

Sillabo

• Sintassi dei Linguaggi di Programmazione: Grammatiche Libere dal Contesto, Alberi di Derivazione, ambiguita'
• Semantica dei Linguaggi di Programmazione: Sistemi di Transizione
• Semantica Operazionale di +
• Espressioni, Comandi, Libreria di Classi

Testi di riferimento

• 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   

Modalità d'esame

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.

Risorse Internet

Aggiornamenti alla pagina del corso

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