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

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

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

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 включительно.