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

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

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


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


© МИАН, 2024