Аннотация:
Вводится формализм для представления алгоритмов суперкомпиляции в виде правил переписываний графа конфигураций. Разбираются технические детали поддержки многорезультатной суперкомпиляции в инструментарии MRSC. Особое внимание уделяется представлению графов конфигураций в виде спагетти-стеков.