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

№ 77, Moscow, 2011
Authors: Klyuchnikov I. G., Romanenko S.A.
MRSC: a toolkit for building multi-result supercompilers
Abstract:
The paper explains the principles of multi-result supercompilation. We introduce a formalism for representing supercompilation algorithms as rewriting rules for graphs of con gurations. Some low-level technical details related to the implementation of multi-result supercompilation in MRSC are discussed. In particular, we consider the advantages of using spaghetti stacks for representing graphs of configurations.
Publication language: russian/english, pages: 30/27
Research direction:
Programming, parallel computing, multimedia
Russian source text: English source text: