Анализ программ 4MIT весна 2018

Преподаватели:

Ахин Марат (akhin@kspt.icc.spbstu.ru )

Беляев Михаил (belyaev@kspt.icc.spbstu.ru )

Лекции

Лекция 1

Введение в предмет курса. Слайды

Лекция 2

Анализ на основе систем типов. Слайды

Практика

Примерный режим практик: нам выдаются задания, их надо делать и как-нибудь сдавать. Для зачёта скорее всего потребуется успеть сдать все задания.

НЕ ВЫКЛАДЫВАЙТЕ РЕШЕНИЯ В ОТКРЫТЫЙ ДОСТУП - это просьба от коллег из университета Орхуса, откуда взяли существенную часть этого курса. В частности, не выкладывайте решения в открытые репозитории на каком-нибудь GitHub.