Семантика языков программирования, 3 курс, 6 семестр 2016/17 — различия между версиями
Материал из SEWiki
(→Материалы к курсу) |
|||
| Строка 8: | Строка 8: | ||
== Материалы к курсу == | == Материалы к курсу == | ||
| + | |||
| + | 1. Интерпретатор + описание семантики: http://oops.math.spbu.ru/plm/L.html | ||
| + | |||
| + | 2. Описание на Coq с недоказанными леммами для самостоятельной работы (будет | ||
| + | пополняться): https://github.com/dboulytchev/coq-supplementary | ||
Версия 16:35, 17 марта 2017
Преподаватель -- Булычев Дмитрий Юрьевич
Лекции
Практика
Материалы к курсу
1. Интерпретатор + описание семантики: http://oops.math.spbu.ru/plm/L.html
2. Описание на Coq с недоказанными леммами для самостоятельной работы (будет пополняться): https://github.com/dboulytchev/coq-supplementary
