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,  pages: 28
Research direction:
Programming, parallel computing, multimedia
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 — 5 (+1), total hit from 01.09.2019 — 89
About authors:
  • Klyuchnikov Ilya Grigor'evich,  KIAM RAS