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

KIAM Preprint № 31, Moscow, 2010
Authors: Klyuchnikov I. G.
Supercompiler HOSC: proof of correctness
Abstract:
The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions.
Publication language: russian/english,  pages: 28/28
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 (-2), total hit from 01.09.2019 — 73
About authors:
  • Klyuchnikov Ilya Grigor'evich,  ilya.klyuchnikov@gmail.com,  KIAM RAS
    		•