Programming Languages Semantics

2024/2025

Academic Year

RUS

Instruction in Russian

5

ECTS credits

Delivered at:

Department of Informatics

Course type:

Elective course

When:

3 year, 3, 4 module

Instructor

Булычев Дмитрий Юрьевич

Программа дисциплины

Аннотация

Является дисциплиной по выбору. Дисциплина направлена на формирование у студентов теоретических знаний и практических навыков анализа и описания языковых конструкций. В круг тем, охваченных данной дисциплиной, входят подходы к точному описанию семантики языковых конструкций и методам доказательства корректности преобразований программ. Для освоения дисциплины студентам необходимы знания, полученные в результате изучения дисциплин «Формальные языки», «Функциональное программирование», «Компиляторы».