italian version

Aims :

The course is aimed at giving knowledge and skills in the central concepts of programming languages and the associated programming techniques. It also gives an acquaintance with their application to programming.

Topics :

Introduction: general concepts related to programming. Programming languages definition: syntax, semantic and pragmatics. A reference model of programming language: the kernel language. Functional abstraction in programming languages. techniques related to declarative programming. Concurrence in the declarative programming model. Stateful programming.

Textbooks :

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

Exam :

Oral examination

Tutorial Session :

Wednesday 11:00-13:00