Foundations of Computing - LINGUAGGI (2009/2010)

Course code
4S02789
Name of lecturer
Andrea Masini
Number of ECTS credits allocated
4
Other available courses
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
1st Semester dal Oct 1, 2009 al Jan 31, 2010.

To show the organization of the course that includes this module, follow this link * Course organization

Lesson timetable

1st Semester
Day Time Type Place Note
Monday 2:30 PM - 4:30 PM lesson Lecture Hall I from Nov 23, 2009  to Jan 31, 2010
Wednesday 2:30 PM - 4:30 PM lesson Lecture Hall I from Nov 23, 2009  to Jan 31, 2010
Thursday 10:30 AM - 12:30 PM lesson Lecture Hall I from Nov 23, 2009  to Jan 31, 2010

Learning outcomes

The aim of the course is to present the theoretical basis of programming languages.A number of paradigmatic higher order typed languages will be introduced (lambda calculi). The entire course will focus on the concepts of type systems and of operational semantics. The problem of definition of data types will be analyzed.

Syllabus

Inductive definitions; transition systems; type systems; structural operational semantics. Higher order languages and calculi: typed lambda calculus and Curry-Howard isomorphism;system T: syntax, semantics, definability and data types; PCF: syntax, semantics, definability and data types; system F: syntax, semantics, definability and data types.

Assessment methods and criteria

The exam consists of a written test.

Teaching aids

Documents