KIAM Main page Web Library  •  Publication Searh  Русский 

KIAM Preprint № 26, Moscow, 2013
Authors: Grechanik S. A.
Supercompilation by hypergraph transformation
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.
supercompilation equality saturation program transformation
Publication language: english,  pages: 24
Research direction:
Programming, parallel computing, multimedia
English source text:
List of publications citation:
Export link to publication in format:   RIS    BibTeX
View statistics (updated once a day)
over the last 30 days — 5 (+5), total hit from 01.09.2019 — 151
About authors:
  • Grechanik Sergei Alexandrovich, RAS