Семантика языков программирования, 3 курс, 6 семестр 2016/17

Материал из SEWiki
Версия от 16:35, 17 марта 2017; U.n.kravchenko (обсуждение | вклад) (→‎Материалы к курсу)

Перейти к: навигация, поиск

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

Лекции

Практика

Материалы к курсу

1. Интерпретатор + описание семантики: http://oops.math.spbu.ru/plm/L.html

2. Описание на Coq с недоказанными леммами для самостоятельной работы (будет пополняться): https://github.com/dboulytchev/coq-supplementary

Источник — «http://mit.spbau.ru/sewiki/index.php?title=Семантика_языков_программирования,_3_курс,_6_семестр_2016/17&oldid=10711»