| | | corso | | | | |
Programmazione II A
(Corso di Laurea in Informatica (classe L-31))
Codice: | 273AA | Crediti: | 9 | Semestre: | 1-2 | Sigla: | Pr2 | |
|
Settore disciplinare: | INF/01 - Informatica |
Docente
Marco Bellia
Tel. 0502212781Ultima versione disponibile: programma da confermare per l’a.a. 2009/2010
Obiettivi di apprendimento
Programmare come progetto e verifica di astrazioni, gerarchie di macchine virtuali e supporto run-time.
English Description
Designing and verifying advanced programming abstractions. Abstract machines and run-time supports.
Programma
- 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.