Бакалавриат 2022/2023

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

Статус: Курс по выбору (Прикладная математика и информатика)

Направление: 01.03.02. Прикладная математика и информатика

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

Где читается: Санкт-Петербургская школа физико-математических и компьютерных наук

Когда читается: 3-й курс, 3, 4 модуль

Формат изучения: без онлайн-курса

Охват аудитории: для всех кампусов НИУ ВШЭ

Преподаватели: Булычев Дмитрий Юрьевич

Язык: русский

Кредиты: 5

Контактные часы: 68

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

Аннотация

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

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

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

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

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

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

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

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

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

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

• 2022/2023 учебный год 4 модуль
  0.5 * Устный экзамен + 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

Авторы

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