November 8th, 2018

Ранняя история суперкомпиляции

Метавычисления и специализация программ
Разные мысли о метавычислениях, суперкомпиляции, специализации программ. И об их применениях. Желающие приглашаются в соавторы блога.

вторник, 12 мая 2009 г.
Ранняя история суперкомпиляции
"Откуда есть пошла" суперкомпиляция? Сейчас мы уже как-то привыкли к тому, что всё новое придумывают иностранцы, что они же это новое изготавливают и продают, а мы потом всё это покупаем за нефть. Однако, в случае с суперкомпиляцией дело обстоит на так: она была изобретена в России. Ну, точнее, в СССР. Причём придумал её не программист, а физик: Валентин Фёдорович Турчин:

http://refal.net/author.html
Collapse )

Заметки о суперкомпиляции

Заметки о суперкомпиляции
Что такое суперкомпиляция?
Обобщение конфигураций при суперкомпиляции
Ранняя история суперкомпиляции
С чем едят "гомеоморфное вложение"
Какой язык лучше суперкомпилировать: "строгий" или "ленивый"?
Отнесёмся к "ленивости" со всей "строгостью"! (Или что лучше, блондинки или брюнетки?)
Что лучше: частичные вычисления или суперкомпиляция?
Суперкомпиляция функций высших порядков
Прогонка для функций высших порядков
Проблемно-ориентированные языки и суперкомпиляция
Многостадийное программирование, метавычисления и проблемно-ориентированные языки
Что означает по-японски "Ёсихико Футамура"
Проблемно-ориентированные языки с переменными и суперкомпиляция
Специализация интерпретаторов и проблема устранения тегов
Реализация недетерминизма в проблемно-ориентированных языках через абстрактный синтаксис высшего порядка
Тёмные углы суперкомпилятора HOSC: неполные case-выражения и рекурсивные определения данных
Превращение неявной рекурсии в явную с помощью суперкомпиляции
Недетерминизм: выбор по надобности или выбор при вызове?
Комбинаторные парсеры. Часть 1
Крупношаговая суперкомпиляция (big-step supercompilation)
http://metacomputation-ru.blogspot.com/2009/05/meta-ru-scp-notes.html