Web Library
•
Publication Search
Русский
Publication
№ 31, Moscow, 2010
Authors:
Klyuchnikov I. G.
Supercompiler HOSC: proof of correctness
Abstract:
The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions.
Publication language:
russian/english
,
pages:
28/28
Research direction:
Programming, parallel computing, multimedia
Russian source text:
http://keldysh.ru/papers/2010/source/prep2010_31_rus.pdf
English source text:
http://keldysh.ru/papers/2010/source/prep2010_31_eng.pdf
