Faculty of Technical Sciences

Subject: Semantics of programming languages (17.D0M05)

Native organizations units: No data
General information:
 
Category Scientific-professional
Scientific or art field Teorijska i primenjena matematika
Interdisciplinary Yes
ECTS 10
Educational goal:

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

Educational outcome:

Knowledge about fundamental notions and results in the field of semantics of programming languages. Research in the narrow area of semantics, based on student`s interests and in cooperation with researchers in the country and abroad.

Course content:

Denotational semantics. Operational semantics. Axiomatic semantics.

Teaching methods:

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. Through research and study work the student will, on the bases of scientific journals and other literature, develop further understanding of the material covered in lectures. Working with the course teacher the student develops the ability to independently work on a scientific paper.

Literature:
Authors Title Year Publisher Language
R. Amadio, P.-L. Curien Domains of Lambda Calculi 1999 Cambridge University Press English
Winskel, G. The Formal Semantics of Programming Languages 1993 MIT Press, Boston English
Knowledge evaluation:
Course activity Pre-examination Obligations Number of points
Oral part of the exam No Yes 50.00
Term paper Yes Yes 50.00
Lecturers:
API Image

prof. dr Gilezan Silvia

Full Professor

Study research work
API Image

prof. dr Gilezan Silvia

Full Professor

Lectures

Faculty of Technical Sciences

© 2024. Faculty of Technical Sciences.

Contact:

Address: Trg Dositeja Obradovića 6, 21102 Novi Sad

Phone:  (+381) 21 450 810
(+381) 21 6350 413

Fax : (+381) 21 458 133
Emejl: ftndean@uns.ac.rs

© 2024. Faculty of Technical Sciences.