И. Г. Ключников, “Суперкомпилятор HOSC 1.5: гомеоморфное вложение и обобщение для выражений высшего порядка”, Препринты ИПМ им. М. В. Келдыша, 2010,062, 23 стр.

Эта публикация цитируется в 3 статьях

Суперкомпилятор HOSC 1.5: гомеоморфное вложение и обобщение для выражений высшего порядка

И. Г. Ключников

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