В данной работе представлена новая формулировка многорезультатной суперкомпиляции на основе преобразований графа. Для этого используется представление преобразуемой программы, основанное на гиперграфах. Данный подход соединяет суперкомпиляцию и насыщение равенствами. Также в
работе показано, что в этих условиях естественным образом возникает многоуровневая суперкомпиляция.
Ключевые слова:
суперкомпиляция
насыщение равенствами
преобразование программ
