Programming Languages Semantics

2021/2022

Academic Year

RUS

Instruction in Russian

5

ECTS credits

Delivered at:

Department of Informatics

Course type:

Elective course

When:

3 year, 3, 4 module

Instructors

Kuznetsov, Anton

Podkopaev, Anton

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

Аннотация

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

Цель освоения дисциплины

• Формирование у студентов теоретических знаний и практических навыков анализа и описания языковых конструкций.

Планируемые результаты обучения

• Знает семантики языков программирования.
• Умеет доказывать корректность преобразований программы.
• Имеет опыт применения математического аппарата и инструментальных средств, используемых при семантическом анализе программ.

Содержание учебной дисциплины

• Раздел 1. Введение. Стили семантики
• Раздел 2. Программы и семантики. Простейший язык выражений и присваиваний
• Раздел 3. Конструкции управления, семантика малого шага
• Раздел 4. Семантика в стиле передачи продолжений. Стековая машина

Элементы контроля

• Домашнее задание №1
  Домашнее задание №1 выдается студентам в одном варианте и состоит из 4 задач. Каждой задаче присвоен свой балл. Срок выполнения домашнего задания - 2 недели. Форма представления обучающимися домашнего задания - представленные в письменном виде решения задач.
• Устный экзамен
  Устный экзамен проводится в форме ответов на вопросы, аналогичных вопросам домашнего задания, для указанной в экзаменационном билете семантики. На подготовку ответа выделяется 2,5 часа.

Промежуточная аттестация

• 2021/2022 учебный год 4 модуль
  0.5 * Домашнее задание №1 + 0.5 * Устный экзамен

Список литературы

Рекомендуемая основная литература

• Draheim, D. (2017). Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics. Berlin, Germany: Springer. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=1479832

Рекомендуемая дополнительная литература

• Bengtsson, G., Säätelä, S., & Pichler, A. (2018). New Essays on Frege : Between Science and Literature. Cham, Switzerland: Springer. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=1685759

Авторы

• Кузнецов Антон Михайлович