Семантика языков программирования — ещё один открытый курс на нашем канале YouTube. Преподаватели курса — Антон Подкопаев, Егор Намаконов и Евгений Моисеенко — познакомят слушателей с темами, включающими подходы к точному описанию семантики языковых конструкций и методы доказательства корректности преобразований программ.

Для лучшего освоения материала рекомендуем поставить интерактивную оболочку для доказательства теорем Coq. Подробности на странице курса: https://compscicenter.ru/courses/programming-language-semantics/2022-spring/

Все записи лекций: https://www.youtube.com/playlist?list=PLlb7e2G7aSpTA0aT2M1CvIWof3Osslo7Z