|
Preprints of the Keldysh Institute of Applied Mathematics, 2011, 077, 30 pp.
(Mi ipmp183)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
MRSC: a toolkit for building multi-result supercompilers
I. G. Klyuchnikov, S. A. Romanenko
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.
Citation:
I. G. Klyuchnikov, S. A. Romanenko, “MRSC: a toolkit for building multi-result supercompilers”, Keldysh Institute preprints, 2011, 077, 30 pp.
Linking options:
https://www.mathnet.ru/eng/ipmp183 https://www.mathnet.ru/eng/ipmp/y2011/p77
|
|