Препринты ИПМ им. М.В. Келдыша. 2013. № 26. 24 с.
В данной работе представлена новая формулировка многорезультатной
суперкомпиляции на основе преобразований графа. Для этого
используется представление преобразуемой программы, основанное на
гиперграфах. Данный подход соединяет суперкомпиляцию и насыщение
равенствами. Также в работе показано, что в этих условиях
естественным образом возникает многоуровневая суперкомпиляция.
Работа выполнена при поддержке гранта РФФИ № 12-01-00972-a и гранта Президента РФ для ведущих научных школ № НШ-4307.2012.9. This paper presents a reformulation of the notion of multi-result supercompilation in terms of graph transformations. For this purpose we use a hypergraph-based representation of the program being transformed. The presented approach bridges the gap between supercompilation and equality saturation. We also show how higher-level supercompilation naturally arises in this setting.
Supported by Russian Foundation for Basic Research grant No. 12-01-00972-a and RF President grant for leading scientific schools No. NSh-4307.2012.9. Introduction (Введение)
E-graphs vs Hypergraphs (Сравнение Е-графов и гиперграфов)
Programs as graphs (Программы как графы)
Graph evolution (Развитие графа)
Node merging (Слияние узлов графа)
Transformations (Преобразования)
Merging by graph isomorphism (Слияние в соответствии с изоморфизмом графа)
Transformation ordering (Упорядочивание преобразований)
Example (Пример)
Conclusion and related work (Заключение и связанная работа)
Работа выполнена при поддержке гранта РФФИ № 12-01-00972-a и гранта Президента РФ для ведущих научных школ № НШ-4307.2012.9. This paper presents a reformulation of the notion of multi-result supercompilation in terms of graph transformations. For this purpose we use a hypergraph-based representation of the program being transformed. The presented approach bridges the gap between supercompilation and equality saturation. We also show how higher-level supercompilation naturally arises in this setting.
Supported by Russian Foundation for Basic Research grant No. 12-01-00972-a and RF President grant for leading scientific schools No. NSh-4307.2012.9. Introduction (Введение)
E-graphs vs Hypergraphs (Сравнение Е-графов и гиперграфов)
Programs as graphs (Программы как графы)
Graph evolution (Развитие графа)
Node merging (Слияние узлов графа)
Transformations (Преобразования)
Merging by graph isomorphism (Слияние в соответствии с изоморфизмом графа)
Transformation ordering (Упорядочивание преобразований)
Example (Пример)
Conclusion and related work (Заключение и связанная работа)