RUS
ENG
Full version
JOURNALS
// Preprints of the Keldysh Institute of Applied Mathematics
// Archive
Keldysh Institute preprints,
2010
031, 28 pp.
(Mi ipmp216)
This article is cited 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.
Fulltext:
PDF file (702 kB)
References
Cited by
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (702 kB)