corso

Programmazione II A

Marco Bellia

Tel. 0502212781

Ultima versione disponibile: programma da confermare per l’a.a. 2009/2010

Programmare come progetto e verifica di astrazioni, gerarchie di macchine virtuali e supporto run-time.

Designing and verifying advanced programming abstractions. Abstract machines and run-time supports.

Programmazione orientata ad oggetti. Il nucleo del linguaggio Java: classi, oggetti, ereditarietà, astrazioni sui dati (specifica e implementazione, tecniche di verifica induttiva), astrazione mediante gerarchie, polimorfismo à la Java
Strutture a run time: ambiente, memoria, heap; blocchi, sottoprogrammi, records di attivazione, pila dei records di attivazione; oggetti; interpretazione, compilazione.