Семантика языков программирования, 3 курс, 6 семестр 2016/17 — различия между версиями
Материал из SEWiki
(Новая страница: «Преподаватель -- Булычев Дмитрий Юрьевич == Лекции == == Практика ==») |
(→Материалы к курсу) |
||
(не показаны 2 промежуточные версии 1 участника) | |||
Строка 5: | Строка 5: | ||
== Практика == | == Практика == | ||
+ | |||
+ | |||
+ | == Материалы к курсу == | ||
+ | |||
+ | 1. Интерпретатор + описание семантики: http://oops.math.spbu.ru/plm/L.html | ||
+ | |||
+ | 2. Описание на Coq с недоказанными леммами для самостоятельной работы (будет | ||
+ | пополняться): https://github.com/dboulytchev/coq-supplementary | ||
+ | |||
+ | 3. Руководство по языку Coq: книга "Software Foundations" (автор - Benjamin C. Pierce), лежит [в открытом доступе](https://www.cis.upenn.edu/~bcpierce/sf/current/index.html). Полезно пройти все главы до IndProp включительно. |
Текущая версия на 10:33, 9 апреля 2017
Преподаватель -- Булычев Дмитрий Юрьевич
Лекции
Практика
Материалы к курсу
1. Интерпретатор + описание семантики: http://oops.math.spbu.ru/plm/L.html
2. Описание на Coq с недоказанными леммами для самостоятельной работы (будет пополняться): https://github.com/dboulytchev/coq-supplementary
3. Руководство по языку Coq: книга "Software Foundations" (автор - Benjamin C. Pierce), лежит [в открытом доступе](https://www.cis.upenn.edu/~bcpierce/sf/current/index.html). Полезно пройти все главы до IndProp включительно.