|
Preprints of the Keldysh Institute of Applied Mathematics, 2010, 031, 28 pp.
(Mi ipmp216)
|
|
|
|
This article is cited in 5 scientific papers (total in 5 papers)
Supercompiler HOSC: proof of correctness
I. G. Klyuchnikov
Abstract:
The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions.
Citation:
I. G. Klyuchnikov, “Supercompiler HOSC: proof of correctness”, Keldysh Institute preprints, 2010, 031, 28 pp.
Linking options:
https://www.mathnet.ru/eng/ipmp216 https://www.mathnet.ru/eng/ipmp/y2010/p31
|
|