KIAM Main page Web Library  •  Publication Searh  Русский 

KIAM Preprint № 62, Moscow, 2010
Authors: Klyuchnikov I. G.
Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order setting
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.
Publication language: russian/english,  pages: 23/23
Research direction:
Programming, parallel computing, multimedia
Russian source text:
English source text:
List of publications citation:
Export link to publication in format:   RIS    BibTeX
View statistics (updated once a day)
over the last 30 days — 1 (-5), total hit from 01.09.2019 — 54
About authors:
  • Klyuchnikov Ilya Grigor'evich,  KIAM RAS