• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

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

2023/2024
Учебный год
RUS
Обучение ведется на русском языке
5
Кредиты
Статус:
Курс по выбору
Когда читается:
3-й курс, 3, 4 модуль

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

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

Аннотация

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

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

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

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

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

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

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

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

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

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

  • 2023/2024 учебный год 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

Авторы

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