#### Filter Results:

- Full text PDF available (3)

#### Publication Year

2012

2015

- This year (0)
- Last 5 years (4)
- Last 10 years (4)

#### Publication Type

#### Journals and Conferences

#### Key Phrases

Learn More

In this paper we present a new approach to multi-result supercompilation based on joining together process graphs into a single graph and welding nodes corresponding to equal configurations. We show that this leads to a considerable reduction of nodes being built during supercompilation and enables more efficient configuration graph processing algorithms on… (More)

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… (More)

- Sergei A. Grechanik
- Programming and Computer Software
- 2015

The present paper shows how the idea of equality saturation can be used to prove algebraic properties of programs written in a non-total non-strict first-order functional language. We adapt equality saturation approach to a functional language by using transformations borrowed mainly from supercompilation. Proof by induction is performed via a special… (More)

- Sergei A. Grechanik
- Ershov Memorial Conference
- 2014

The present paper shows how the idea of equality saturation can be used to build an inductive prover for a non-total first-order lazy functional language. We adapt equality saturation approach to a functional language by using transformations borrowed from supercompilation. A special transformation called merging by bisimilarity is used to perform proof by… (More)

- ‹
- 1
- ›