Суперкомпилятор HOSC 1.5: гомеоморфное вложение и обобщение для выражений высшего порядка
Аннотация:
В работе приводится алгоритм экспериментального суперкомпилятора HOSC 1.5, работающего с функциями высших порядков. Детали алгоритма обосновываются на
ряде примеров. Особое внимание уделяется обобщению и гомеоморфному вложению выражений со связанными переменными.
Язык публикации: русский/английский, страниц:23 / 23
