article · 2007

Distillation

Cited by 41Abstract and details only

Abstract

In this paper, we present a new transformation algorithm called distillation which can automatically transform higher-order functional programs into equivalent tail-recursive programs. Using this algorithm, it is possible to produce superlinear improvement in the runtime of programs. This represents a significant advance over the supercompilation algorithm, which can only produce a linear improvement. Outline proofs are given that the distillation algorithm is correct and that it always terminates.

Cite this paper

APA 7

Hamilton, G. (2007). Distillation. https://doi.org/10.1145/1244381.1244391

MLA 9

Hamilton, Geoff. “Distillation.” 2007, pp. 61–70, https://doi.org/10.1145/1244381.1244391.

Chicago

Hamilton, Geoff. 2007. “Distillation.” https://doi.org/10.1145/1244381.1244391.

Harvard

Hamilton, G. (2007) ‘Distillation’. Available at: https://doi.org/10.1145/1244381.1244391.

BibTeX

@article{hamilton2007distillation,
  title = {{Distillation}},
  author = {Hamilton, Geoff},
  pages = {61--70},
  year = {2007},
  doi = {10.1145/1244381.1244391}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.