• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

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


Podkopaev, Anton

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

Аннотация

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

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

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

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

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

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

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

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

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

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

  • 2021/2022 учебный год 3 модуль
  • 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