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


Что: Лекция
Когда: Среда, 14 марта 2018, 18:00–19:20
Где: Таймс, 2 этаж, ауд.204
Слайды: compilers_lecture_140318.pdf

Описание

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

Видео