Subject: Abramov - Obobshhenny`j algoritm otozhdestvleniya dlya yazy`ka Refal + prilozhenija (1979)(ru).djvu
From: Sergei Romanenko (roman@integrum.ru)
Date: Sat Aug 07 2004 - 03:14:11 MSD
Уважаемые коллеги!
Вашему вниманию предлагается новая версия документа
ed2k://|file|[Partial Evaluation] Abramov - Obobshhenny`j algoritm
otozhdestvleniya dlya yazy`ka Refal + prilozhenija
(1979)(ru).djvu|1495037|4C9267A3FD9D4F2C499AB3099349F880|/
которая отличается от предыдущей версии
ed2k://|file|[Functional Programming, Partial.Evaluation] Abramov -
Obobshhenny`j algoritm otozhdestvleniya dlya yazy`ka Refal
(1979)(ru).djvu|2188477|C1FBCA0A6E96628682820943871E4448|/
тем, что добавлены комментарии, написанные С.М.Абрамовым в 1981 году и
распечатка программы на Рефале, реализующей этот алгоритм. (Кстати, размер
файла при этом уменьшился... :-) )
Сергей Романенко
----------
Вот еще один раритет из 1979 года! Описание "обобщенного алгоритма
отождествления" для Рефала:
Этот документ представляет собой курсовую работу С.М.Абрамова, который тогда
учился на 4 курсе ВМК МГУ.
Описываемый алгоритм "обобщенного отождествления" является обобщением
соответствующего алгоритма В.Ф.Турчина, описанного в работах
ed2k://|file|[Partial Evaluation] Turchin - E`kvivalentny`e preobrazovaniya
rekursivny`x funkcij, opisanny`x na yazy`ke Refal
(1972)(ru).djvu|44929|1352322612C6ABC83A70F66DC95D42D0|/
ed2k://|file|[Functional Programming, Partial Evaluation] Turchin -
E`kvivalentny`e preobrazovaniya programm na Refale
(CNIPIASS,1974)(ru).djvu|536702|F823C17E6823561843F9C1BAA724336A|/
Алгоритм В.Ф.Турчина был применим для случая, когда образец не содержал
открытые и повторные переменные. А в работе С.М.Абрамова это ограничение
снималось. (Хотя, при этом результат работы алгоритма не всегда получался в
конечном виде.)
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD