Linguaggi e tecniche speciali di programmazione - Teoria (2007/2008)

Corso a esaurimento

Spazio Moodle non più disponibile
Codice insegnamento
4S00062
Docente
Ugo Solitro
crediti
4
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
3° Q dal 7-apr-2008 al 13-giu-2008.
Pagina Web
http://elvira.univr.it/moodle/course/view.php?id=127

Per visualizzare la struttura dell'insegnamento a cui questo modulo appartiene, consultare * organizzazione dell'insegnamento

Orario lezioni

Obiettivi formativi

L'insegnamento si occupa dei principi 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.

Programma

Aspetti fondamentali dei linguaggi a oggetti: i principi, le classi e gli oggetti, i modelli.
Linguaggi a oggetti e tipi. Relazione tra tipo e classe.
Linguaggi a oggetti con e senza classi.
Il prim'ordine, i tipi e la ricorsione.
Calcoli a oggetti del prim'ordine.
Calcoli di ordine superiore.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Martín Abadi, Luca Cardelli A Theory of Objects Springer Verlag 1996 0387947752

Modalità d'esame

L'esame finale dell'insegnamento consiste in un colloquio orale.

Condividi