Supercompilation by hypergraph transformation

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