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

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

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

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

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

Аннотация

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

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

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

Результаты освоения дисциплины

  • Знает основные стили семантик языков программирования: денотационный, операционный, аксиоматический; композиционность. Умеет аргументированно описать выбранный стиль и преимущества его использования для конкретной задачи.
  • Знает эквивалентность программ и семантик. Знает варианты определений и их взаимоотношения, обоснование свойств преобразований программ. Знает понятие операционной семантики.
  • Знает понятие операционной семантики. Умеет получать и анализировать дерево вывода программы. Владеет навыками использования семантики большого и малого шагов.
  • Владеет понятием семантика в стиле передачи продолжений — мотивация; свойства; индукция по ―высоте башни. Знает эквивалентность семантике большого шага. Владеет понятием стековая машина, ее операционная семантика.
Содержание учебной дисциплины

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

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

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

  • неблокирующий Created with Sketch. Домашнее задание
  • блокирующий Created with Sketch. Устный экзамен
Промежуточная аттестация

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

  • Промежуточная аттестация (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