english version

Obiettivi Formativi :

Il corso ha l’obiettivo di fornire conoscenze sui concetti fondamentali associati ai linguaggi di programmazione e le corrispondenti tecniche di programmazione, ed esperienza sulla loro applicazione ed uso per la soluzione di problemi.

Programma :

Introduzione: concetti generali relativi alla programmazione. Definizione di Linguaggio di Programmazione: sintassi, semantica, pragmatica. Un modello di linguaggio di programmazione: il kernel language. L’astrazione funzionale nei linguaggi di programmazione. Tecniche di programmazione dichiarativa. Concorrenza nel modello dichiarativo. La programmazione basata su stati.

Testi di Riferimento :

Concepts, Tecniques, and Models of Computer Programming – P.Van Roy, S.Haridi – MIT Press 2004

Modalità di svolgimento dell’esame :

L'esame consiste in una prova orale

Ricevimento Studenti :

Mercoledi 11:00-13:00