Sillabo dell'insegnamento

• D - Linguaggi
MP - Metodologie di Programmazione
Evoluzione dei linguaggi di programmazione: Dai linguaggi assembler ai linguaggi ad alto livello. Macchine astratte, interpreti, compilatori. Sintassi (BNF) e semantica (SOS: cenni). Ambiente, regole di scoping e loro implementazione. Pila dei record di attivazione; heap.
MP - Metodologie di Programmazione
Gestione della memoria: garbage collection. Controllo di sequenza, procedure, ricorsione. Tipi e controllo di tipo.
MP - Metodologie di Programmazione
Parametri e modalit? di passaggio: per valore, per riferimento, per risultato, per nome. Parametri funzionali. Chiusure. Eccezioni.
PLN - Paradigmi Linguistici
Il paradigma funzionale: la semantica operazionale, valutazione lazy e call-by-value, i tipi, i tipi polimorfi,subtyping, algoritmi di inferenza di tipi, i tipi principali. Il problema della gestione della memoria, il garbage collection.
PLN - Paradigmi Linguistici
Il paradigma logico: unificazione, derivazioni SLD, semantica operazionale, interpretazione dichiarativa, cenni ad aspetti implementativi.
PLN - Paradigmi Linguistici
Il paradigma object-oriented: classi e oggetti, inizializzazione, inheritance e late-binding, il modello operazionale, differenza tra subtyping e inheritance.