(русский / in Russian) Метавычисления и их приложения: суперкомпиляция

# click the upper-left icon to select videos from the playlist

source: НОУ ИНТУИТ 2017年1月8日
Курс в НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/...

Метавычисления и их приложения: суперкомпиляция / Meta calculations and their applications: supercompilation

Лекция 1: Суперкомпиляция: введение, идея, постановки задачи 1:14:06
Лекция 2: Суперкомпиляция. Wh: алгоритм обнаружения возможого зацикливания 29:37
Лекция 3: Numprog. Функции theSameTerm, whConf 40:50
Лекция 4: Gener: построение тесной общей надконфиурации и постановка задачи 38:36
Лекция 5: genTabToSubsts. Построение sGenUp и sGenDn. Обобщение рестрикций 1:01:36
Лекция 6: isEqCUpCGen, mkSubstUpDn. Поправка Юрия Климова. Функции genRestr, mkRestr 31:34
Лекция 7: Суперкомпилятор для языка TSG 5:27
Лекция 8: Примеры суперкомпиляции 51:16
Лекция 9: Нестандартные семантики 1:06:00
Лекция 10: Нестандартные интерпретаторы 1:42:06