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

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