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

Семантика языков программирования является базовым предметом для направления "Языки программирования". В круг тем, охватываемых данным предметом, входят подходы к точному описанию семантики языковых конструкций и методам доказательства корректности преобразований программ.

Примерная программа курса:

  1. Взаимотношение синтаксиса и семантики. Семантический домен и семантическая функция.

  2. Различные стили описания семантики: денотационный, аксиоматический, игровой, операционный.

  3. Композиционность семантических описаний. Различные трактовки эквивалентности.

  4. Операционная семантика, как семантика эталонного интерпретатора.

  5. Семантика большого и малого шага. Индукция по форме дерева и длине последовательности вывода.

  6. Семантика малого шага с использованием рекукционных контекстов.

  7. «Зоопарк» языковых конструкций.

  8. Семантика лямбда-исчисления. Порядки редукций.