Subject: "Рекурсивные схемы" и слияние многопроходных алгоритмов в однопроходные
From: Sergei Romanenko (roman@integrum.ru)
Date: Tue May 25 2004 - 16:32:36 MSD
Уважаемые коллеги!
Когда-то с 1970 году В.Ф.Турчин сделал доклад
В.Ф.Турчин. "Фундаментальные рекурсивные схемы обработки символьной
информации".
тезисы которого были опубликованы в сборнике
ed2k://|file|[Functional.Programming,.Computer.Algebra].Tezisy.dokladov.simp
oziuma.po.obrabotke.simvoljnoj.informacii.(Tbilisi,.1970)(colored)(ru).djvu|
396418|F9439171C28F598A833AD3BEAC91DCF0|/
ed2k://|file|[Functional.Programming,.Computer.Algebra].Tezisy.dokladov.simp
oziuma.po.obrabotke.simvoljnoj.informacii.(Tbilisi,.1970)(ru).djvu|232898|E4
D0B6AA8A7176FA53582C9677C642CF|/
Интересно, существует ли рукопись этого доклада? (Может быть, "рукопись" в
буквальном смысле этого слова...)
Жили тогда в (лучшей?) гостинице "Иверия"... Ели шашлыки и пили вино... (А
сейчас "Иверия" заселена беженцами и дошла до ужасного состояния.)
Что касается "фундаментальных рекурсивных схем", то это направление хотя не
то, чтобы очень бурно развивалось, но и не вымирает... Вот "классическая"
статья на это тему ("классическая" в том смысле, что на нее любят
ссылаться):
ed2k://|file|[Functional.Programming].Meijer,.Fokkinga,.Paterson.-.Functiona
l.Programming.with.Bananas,.Lenses,.Envelopes.and.Barbed.Wire.(1991).djvu|10
4900|8F1E2DDC001A75C551A3D1189372017A|/
В частности, в следующей статье
ed2k://|file|[Functional.Programming,.Partial.Evaluation].Launchbury,.Sheard
.-.Warm.Fusion.-.Deriving.Build-Catas.from.Recursive.Definitions.(1995).djvu
|83946|E2059645031CA889E5937EE53F2A8188|/
рассматривается, какие "рекурсивные схемы" позволяют осуществлять
преобразование многопроходных алгоритмов в однопроходные. Также
рассматривается вопрос, как загонять реальные программы в "прокрустово ложе"
этих "рекурсивных схем"...
А в статье
ed2k://|file|Sperber,.Thiemann.-.Two.for.the.Price.of.One.-.Composing.Partia
l.Evaluation.and.Compilation.(1997).djvu|90382|615DA0374F61E6172D5A9675646D5
C60|/
эти идеи используются для выведения "мичуринского гибрида" из специализатора
и компилятора (в низкоуровневый виртуальный код). В результате получается
специализатор, который порождает остаточную программу, написанную в
виртуальном коде.
Сергей Романенко
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:00 MSD