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

№ 77, Moscow, 2011
Authors: Klyuchnikov I. G., Romanenko S.A.
MRSC: a toolkit for building multi-result supercompilers
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: