KIAM Main page Web Library  •  Publication Searh  Русский 

KIAM Preprint № 31, Moscow, 2010
Authors: Klyuchnikov I. G.
Supercompiler HOSC: proof of correctness
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: English source text: