Linguaggi e calcolabilità

Egon Börger        Tel. 0502212799

Laurea triennale di informatica.

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.

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), per macchine virtuali (Java Virtual Machine), per architetture software.

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), for virtual machines (Java Virtual Machine), for software architecture

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), per macchine virtuali (Java Virtual Machine), per architetture software.

Articoli segnalati durante il corso. Testo di base: 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/

Scritto e orale