# 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
1. Clicking ▼&► to (un)fold the tree menu may facilitate locating what you want to find. 2. Videos embedded here do not necessarily represent my viewpoints or preferences. 3. This is just one of my several websites. Please click the category-tags below these two lines to go to each independent website.
No comments:
Post a Comment