Subject: Abramov - Obobshhenny`j algoritm otozhdestvleniya dlya.yazy`ka Refal (1979)(ru).djvu
From: Sergei Romanenko (roman@integrum.ru)
Date: Sat Jul 31 2004 - 20:33:22 MSD
Уважаемые коллеги!
Вот еще один раритет из 1979 года! Описание "обобщенного алгоритма
отождествления" для Рефала:
ed2k://|file|[Functional Programming, Partial.Evaluation] Abramov -
Obobshhenny`j algoritm otozhdestvleniya dlya.yazy`ka Refal
(1979)(ru).djvu|2188477|C1FBCA0A6E96628682820943871E4448|/
Этот документ представляет собой курсовую работу С.М.Абрамова, который тогда
учился на 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