Структурная индукция. Корректность компилятора выражений

Среда, 14 марта 2018, 18:00–19:20
Таймс, 2 этаж, ауд.204

Слайды с лекции

compilers_lecture_140318.pdf

Описание

Принцип структурной индукции. Композиционность. Примеры доказательств: детерминизм, корректность компилятора выражений.