| | | corso | | | |
Linguaggi e calcolabilità
Codice: | AA030 | Crediti: | 6 | Semestre: | 1 | Sigla: | LC | |
|
Settore disciplinare: | INF/01 - Informatica |
Docente
Prerequisiti
Sapere i contenuti dei corsi dei primi due anni della laurea triennale di informatica.
Obiettivi di apprendimento
L'obiettivo del corso è di fornire allo studente una padronanza di
metodi di
specifica e di analisi di sistemi software complessi. Si studiano i
principali
modelli di computazione insieme ai metodi fondamentali per la
definizione, la
verifica e la validazione di architetture software.
Descrizione
Modelli di computazione: Funzioni Ricorsive e le loro limitazioni
(insolubilita e diagonazzizazione), computazioni su tipi di dati
astratti (Abstract State Machines). Elementi di semantica di linguaggi
(sistemi di tipi, analisi statica). Metodi di specifica astratta:
modelli
ASM per linguaggi ad alto livello (Java e C#), per macchine virtuali (Java
Virtual
Machine), per architetture software.
English Description
Models of computation: Recursive Functions and their limitations
(unsolvability and diagonalization), computation on abstract data
types (Abstract State Machines). Elements of the semantics of languages
(type systems, static analysis). Specification methods: models ASM for
high-level languages (Java and C#), for virtual machines (Java
Virtual Machine), for software architecture
Programma
Modelli di computazione: Funzioni Ricorsive e le loro limitazioni
(insolubilita e diagonazzizazione), computazioni su tipi di dati
astratti (Abstract State Machines). Elementi di semantica di linguaggi
(sistemi di tipi, analisi statica). Metodi di specifica astratta:
modelli
ASM per linguaggi ad alto livello (Java e C#), per macchine virtuali (Java
Virtual
Machine), per architetture software.
Bibliografia
Java and the Java Virtual Machine - Definition, Verification, Validation
by R.Staerk, J. Schmid, Egon Boerger
Springer-Verlag 2001, see http://www.inf.ethz.ch/~jbook/
Abstract State Machines. A Method for High-Level System Design and Analysis
by Egon Boerger, R.Staerk
Springer-Verlag 2003, see http://www.di.unipi.it/AsmBook/
Modalità di esame
Scritto e orale