|
Программные системы: теория и приложения, 2010, том 1, выпуск 3, страницы 37–71
(Mi ps10)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Математические основы программирования
Суперкомпиляция функций высших порядков
И. Г. Ключников Институт прикладной математики им. М. В. Келдыша РАН
Аннотация:
В работе описана внутренняя структура экспериментального суперкомпилятора HOSC. Дано полное описание всех существенных понятий и алгоритмов суперкомпилятора, работающего с функциональным языком высшего порядка (подмножеством языка Haskell). Особое внимание уделяется проблемам связанным с обобщением и отношением гомеоморфного вложения для выражений со связанными переменными.
Ключевые слова и фразы:
суперкомпиляция, анализ программ, функциональное программирование.
Поступила в редакцию: 07.09.2010 Подписана в печать : 16.09.2010
Образец цитирования:
И. Г. Ключников, “Суперкомпиляция функций высших порядков”, Программные системы: теория и приложения, 1:3 (2010), 37–71
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ps10 https://www.mathnet.ru/rus/ps/v1/i3/p37
|
Статистика просмотров: |
Страница аннотации: | 229 | PDF полного текста: | 139 | Список литературы: | 32 | Первая страница: | 1 |
|