|
Препринты Института прикладной математики им. М. В. Келдыша РАН, 2010, 031, 28 стр.
(Mi ipmp216)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Суперкомпилятор HOSC: доказательство корректности
И. Г. Ключников
Аннотация:
В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.
Образец цитирования:
И. Г. Ключников, “Суперкомпилятор HOSC: доказательство корректности”, Препринты ИПМ им. М. В. Келдыша, 2010, 031, 28 с.
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ipmp216 https://www.mathnet.ru/rus/ipmp/y2010/p31
|
Статистика просмотров: |
Страница аннотации: | 107 | PDF полного текста: | 74 | Список литературы: | 22 |
|