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

KIAM Preprint № 81, Moscow, 2010
Authors: Klyuchnikov I. G.
Towards Effective Two-Level Supercompilation
The paper presents a number of improvements to the method of two-level supercompilation: a fast technique of lemma discovering by analyzing the expressions in the partial process tree, an enhancement to the algorithm of checking improvement lemmas based on the normalization of tick annotations, and a few techniques of finding simplified versions of lemmas discovered in the process of two-level supercompilation.
Publication language: english,  страниц: 28
Research direction:
Programming, parallel computing, multimedia
English source text:
Views over the last 30 days:  1 (+1),  from 01.09.2019 — 3 (statistics updated once a day)