This article is cited in 6 papers

Supercompiler HOSC 1.0: under the hood

I. G. Klyuchnikov


Abstract: The paper describes the internal structure of HOSC, an experimental supercompiler dealing with programs written in a higher-order functional language. A detailed and formal account is given of the concepts and algorithms the supercompiler is based upon.

 English version: KIAM Preprint, 2009, 063 (PDF, 432 kB)