Barbuti – Semantica OperazionaleIl prof non ha cambiato il libro dall'anno scorsoDa studiare: Cioè fino a pagina 48Verificato sulla scheda ufficiale il 03/10/2026
M. AutiliIl prof non ha cambiato il libro dall'anno scorsoDa studiare: P. Inverardi, Semantica Operazionale di +/- Java - 03 Dicembre 2010. http://informatica.di.univaq.it/getres.php?resid=1053 Questa versione (3 dicembre 2010) rivisita la versione del 10 gennaio 2010. Questa versione deve essere considerata come la versione ufficiale da adottare e tutti i suoi contenuti fanno parte del programma del corsoVerificato sulla scheda ufficiale il 03/10/2026
Argomenti del programma: ------------------------------------------------------------ Modulo: F0053 - FONDAMENTI DI PROGRAMMAZIONE ------------------------------------------------------------ - Sintassi dei Linguaggi di Programmazione: Grammatiche Libere dal Contesto, Alberi di Derivazione, Ambiguità. - Semantica dei Linguaggi di Programmazione: Sistemi di Transizione. Rappresentazione e semantica dei numeri.
Testi d'esame di Fondamenti di Programmazione con Laboratorio del prof. Antinisca Di Marco, Monica Nesi, canale unico, corso di laurea in Informatica – sede di L'Aquila (Laurea triennale (L-31)), Università degli Studi dell'Aquila, 1º anno · 1º semestre · 12 CFU, a.a. 2026/2027. Libri adottati: Barbuti – Elementi di Sintassi dei Linguaggi di Programmazione; Barbuti – Semantica Operazionale; M. Autili; Bertacca – Programmare in Java; Cay Horstmann – Concetti di informatica e fondamenti di JAVA.