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

KIAM Preprint № 21, Moscow, 2010
Authors: Klyuchnikov I. G.
Supercompiler HOSC 1.1: proof of termination
The paper contributes the proof of termination of an experimental supercompiler HOSC dealing with higher-order functions.
Publication language: russian/english,  страниц: 27 / 27
Research direction:
Programming, parallel computing, multimedia
Russian source text: English source text:
Views over the last 30 days:  0 (+0),  from 01.09.2019 — 0 (statistics updated once a day)