RUS  ENG
Полная версия
ЖУРНАЛЫ // Препринты Института прикладной математики им. М. В. Келдыша РАН // Архив
Препринты ИПМ им. М. В. Келдыша, 2010, 031, 28 стр. (Mi ipmp216)
Эта публикация цитируется в 5 статьях

Суперкомпилятор HOSC: доказательство корректности

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


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


© МИАН, 2024