Metodologie di programmazione D

Carlo Montangero      Tel. 0502212799

Descrizione del modello di calcolo e delle tecniche di programmazione object-oriented con polimorfismo, subtyping e concorrenza.

Elementi di traduzione e supporto dei linguaggi Meccanismi di astrazione, tipi di dato astratto e tecniche di visibilità Programmazione object-oriented, event-driven e concorrente Programmazione di interfacce

Interpretazione, compilazione, supporto a run-time Oggetti e astrazione procedurale in Java (richiami) Semantica operazionale di un nucleo orientato ad oggetti con metodi, classi ed ereditarietà Metodologie per lo sviluppo di programmi sequenziali in Java Eccezioni Astrazioni sui dati Astrazioni di controllo (iterazione) Gerarchie di tipi Astrazioni polimorfe Estensione del nucleo con primitive concorrenti: threads, mutexes Metodologie per lo sviluppo di programmi concorrenti in Java

B.Liskov, J. Guttag. Program Development in Java. Abstraction, Specification and Object-Oriented Design, Addison-Wesley 2001

Scritto e orale