Programming Languages and Special Techniques (2005/2006)

Course partially running

Course code
4S00062
Name of lecturer
Ugo Solitro
Number of ECTS credits allocated
5
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
Third four month term dal Apr 3, 2006 al Jun 9, 2006.
Web page
http://elvira.univr.it/moodle/course/category.php?id=15

Lesson timetable

Third four month term
Day Time Type Place Note
Tuesday 9:30 AM - 11:30 AM lesson Lecture Hall E  
Thursday 8:30 AM - 11:30 AM lesson Lecture Hall E  

Learning outcomes

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.

Syllabus

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.

Reference books
Author Title Publisher Year ISBN Note
Martín Abadi, Luca Cardelli A Theory of Objects Springer Verlag 1996 0387947752

Assessment methods and criteria

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