L'insegnamento si occupa dei linguaggi di programmazione orientati agli oggetti.
La comprensione dei linguaggi di programmazione procedurali e delle loro caratteristiche fondamentali è piuttosto consolidata grazie alla presenza di modelli che ne permettono una analisi approfondita. Durante il corso si studierà invece una teoria basata sugli oggetti come entità primitiva con il fine di chiarire i principi generali della programmazione a oggetti e fornire uno strumento adeguato per lo studio e la progettazione dei linguaggi a oggetti.
Aspetti fondamentali dei linguaggi a oggetti: i principi, le classi e gli oggetti, i modelli.
Linguaggi a oggetti senza tipi.
Il prim'ordine, i tipi e la ricorsione.
Calcoli a oggetti del prim'ordine.
Calcoli di ordine superiore.
L'eventuale attività di laboratorio sarà determinata all'interno del corso.
| Author | Title | Publisher | Year | ISBN | Note |
| Martín Abadi, Luca Cardelli | A Theory of Objects | Springer Verlag | 1996 | 0387947752 |
L'esame finale dell'insegnamento consiste in un colloquio orale.
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
