Course Details for A.Y. 2010/2011
Name:
Fondamenti di Programmazione / Foundations of Programming
Basic information
Language:
Italian
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
Course page updates
This course page is available (with possible updates) also for the following academic years:
To read the current information on this course, if it is still available, go to the university course catalogue .
Course information last updated on: 01 aprile 2011, 16:06