Семантики языков программирования

2024/2025

Учебный год

RUS

Обучение ведется на русском языке

5

Кредиты

Кто читает:

Департамент информатики

Статус:

Курс по выбору

Когда читается:

3-й курс, 3, 4 модуль

Преподаватель

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

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

Аннотация

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