Year: 2010
Type: article
Abstract: : \n 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\nfinding simplified versions of lemmas discovered in the process of two-level supercompilation.
Author: Klyuchnikov I. G.
Institution: Keldysh Institute of Applied Mathematics
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Award: G5796677041
OpenAlex ID: W6997035780