I. G. Klyuchnikov, “Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order setting”, Keldysh Institute preprints, 2010,062, 23 pp.

This article is cited in 3 papers

Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order setting

I. G. Klyuchnikov

Abstract: The paper describes the algorithm of the supercompiler HOSC 1.5, an experimental specializer dealing with programs written in a higher-order functional language. The design decisions behind the algorithm are illustrated through a series of examples. Of particular interest are the decisions related to generalization and homeomorphic embedding of expressions with bound variables.