RUS
ENG
Full version
JOURNALS
// Preprints of the Keldysh Institute of Applied Mathematics
// Archive
Keldysh Institute preprints,
2010
021, 27 pp.
(Mi ipmp206)
This article is cited in
4
papers
Supercompiler HOSC 1.1: proof of termination
I. G. Klyuchnikov
Abstract:
The paper contributes the proof of termination of an experimental supercompiler HOSC dealing with higher-order functions.
Fulltext:
PDF file (617 kB)
References
Cited by
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (617 kB)