University of Limerick
Browse

A graph-based definition of distillation

Download (324.29 kB)
conference contribution
posted on 2011-01-26, 16:06 authored by Geoff W. Hamilton, Gavin E. Mendel-Gleason
In this paper, we give a graph-based definition of the distillation transformation algorithm. This definition is made within a similar framework to the positive supercompilation algorithm, thus allowing for a more in-depth comparison of the two algorithms. We find that the main distinguishing characteristic between the two algorithms is that in positive supercompilation, generalization and folding are performed with respect to expressions, while in distillation they are performed with respect to graphs. We also find that while only linear improvements in performance are possible using positive supercompilation, super-linear improvements are possible using distillation. This is because computationally expensive terms can only be extracted from within loops when generalizing graphs rather than expressions.

History

Publication

Proceedings of Meta2010 Second International Workshop on Metacomputation in Russia;pp.47-63

Publisher

Meta2010

Note

peer-reviewed

Other Funding information

SFI

Language

English

Usage metrics

    University of Limerick

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC