Структурная индукция. Корректность компилятора выражений
Среда, 14 марта 2018
Таймс, 2 этаж, ауд.204
Список тем / 14 записей
1.
Введение
2.
Операционая семантика большого шага
3.
Синтаксический анализ
4.
Генератор кода как символический интерпретатор стековой машины
5.
Структурная индукция. Корректность компилятора выражений
6.
Конструкции управления
7.
Процедуры
8.
Функции
9.
Организация вызовов функций в машинном коде, соглашения о вызовах
10.
Зоопарк функций
11.
Встроенные функции, массивы, строки
12.
S-выражения, сопоставление с образцом
13.
Встроенные функции, массивы, строки, S-выражения в машинном коде
14.
Компиляция сопоставления с образцом