Введение; язык выражений и его операционная семантика
Среда, 19 февраля 2020
Таймс, 2 этаж, ауд.204
Введение. Предмет и структура курса. Как устроены компиляторы. Разные уровни понимания семантики языков программирования. Формальная семантика. Эталонный интерпретатор. Язык выражений, операционная семантика большого шага.