Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Introduction to Semantics of Programming Languages (17.0M506)

Native organizations units: Department of Fundamentals Sciences

Type of studies	Title
Master Academic Studies	Information and Analytics Engineering (Year: 1, Semester: Winter)
Master Academic Studies	Information Engineering (Year: 1, Semester: Winter)
Master Academic Studies	Mathematics in Engineering (Year: 2, Semester: Winter)

General information:

Category	Professional-applicative
Scientific or art field	Teorijska i primenjena matematika
ECTS	6

Acquiring fundamental knowledge about semantics of programming languages and participating in scientific and research work.

Knowledge of basic concepts and results from the semantics of programming languages. Engaging in research in the specific field of semantics, as chosen by the student, in collaboration with scientists from home and abroad.

Basic set theory: logical notations, sets, relations and functions. Fundamentals of lambda calculus without types. Fundamentals of lambda calculus with types. Introduction to operational semantics: evaluation of arithmetic expressions, evaluation of Boolean expresions, execution of commands. Inductive definitions. Introduction to denotational and axiomatic semantics.

The presentation of the theoretical part during the lecture classes is followed by the characteristic examples which contribute to better understanding of the subject matter. The students are expected to individually study the additional literature which they discuss with the subject teacher at the consultation classes.

Authors	Title	Year	Publisher	Language
Winskel, G.	The Formal Semantics of Programming Languages	1993	MIT Press, Boston	English
R. Amadio, P.-L. Curien	Domains of Lambda Calculi	1999	Cambridge University Press	English
Barendregt, H.P., Dekkers, W., Statman, R.	Lambda Calculi with Types	2013	Cambridge University Press, Cambridge	English
H.P. Barendregt: Lambda Calculus:	Its Syntax and Semantics	1984	North-Holland,	English