MRSC: a toolkit for building multi-result supercompilers (2011)
by
Ilya G. Klyuchnikov
,
Sergei A. Romanenko
BibTeX
@MISC{Klyuchnikov11mrsc:a,
author = {Ilya G. Klyuchnikov and Sergei A. Romanenko},
title = {MRSC: a toolkit for building multi-result supercompilers},
year = {2011}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
