| | | |  corso | | | | | |
Programmazione II B
| Codice: | 273AA | Crediti: | 9 | Semestre: | 1-2 | Sigla: | Pr2 | |
| |
| Settore disciplinare: | INF/01 - Informatica |
Docente
Giorgio Levi
Tel. 0502212700Ultima 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.
