Formalizing and Implementing Multi-Result Supercompilation ⋆
Ilya G. Klyuchnikov, Sergei Anatolievich Romanenko · 2012
The paper explains the principles of multi-result supercompilation. We introduce a formalism for representing supercompilation algorithms as rewriting rules for graphs of configurations. 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.