Dettagli sull'Insegnamento per l'A.A. 2013/2014

Prerequisiti

Nozioni di matematica di base su funzioni e insiemi, e su connettivi ed espressioni logiche. Nozioni di base della programmazione orientata agli oggetti acquisibili con il modulo integrato Laboratorio di Programmazione.

Obiettivi

Il corso introduce nozioni sulla Sintassi e Semantica dei Linguaggi di Programmazione attraverso l'utilizzo delle Grammatiche e dei Sistemi di Transizione. In particolare, il corso studia la Semantica Operazionale di un sottoinsieme del Linguaggio di Programmazione Java.

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 +/- Java
• Espressioni, Comandi, Libreria di Classi

Testi di riferimento

• R. Barbuti, P. Mancarella e F. Turini, Elementi di Semantica Operazionale 2004/2005. Questa dispensa è reperibile anche nel sito ufficiale dell'Università di Pisa. E' stata qui pubblicata solo per convenienza degli studenti. La parte da studiare va dall'inizio fino alla Sezione 5.4 compresa (cioè fino pag. 48). Questa dispensa rivisita la sua versione precedente "Semantica Operazionale". Si può scegliere una delle due versioni. https:   
• informatica.di.univaq.it/getres.php?resid=1171   
• 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. Questa dispensa è reperibile anche nel sito ufficiale dell'Università di Pisa. E' stata qui pubblicata solo per convenienza degli studenti. Le parti da studiare sono: da pag. 1 a pag. 5 e dalla Sezione 3 Grammatiche (cioè da pag. 19) fino alla Sezione 3.4 compresa (cioè fino a inizio pag. 40). https:   
• informatica.di.univaq.it/getres.php?resid=746   
• R. Barbuti, P. Mancarella e C. Montangero, Semantica Operazionale Questa dispensa è reperibile anche nel sito ufficiale dell'Università di Pisa. E' stata qui pubblicata solo per convenienza degli studenti. La parte da studiare va dall'inizio fino alla Sezione 5.3 compresa (cioè fino a metà pag. 39). Questa dispensa è stata rivisitata dalla versione successiva "Elementi di Semantica Operazionale". Si può scegliere una delle due versioni. https:   
• informatica.di.univaq.it/getres.php?resid=747   
• M. Autili, P. Inverardi, Semantica Operazionale di +/- Java - 03 Dicembre 2010 2010. La versione della dispensa sulla Semantica Operazionale di +/-Java del 03 Dicembre 2010 rivisita la versione del 10 Gennaio 2010. La versione del 03 Dicembre 2010 dovra' essere considerata come la versione ufficiale dell'A.A. in corso. La dispensa va studiata tutta. http://informatica.di.univaq.it/getres.php?resid=1053   

Modalità d'esame

L'esame comprende una prova scritta e una prova orale obbligatoria. 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