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

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
Source text: