Introduction to Supercompilation

@inproceedings{Srensen1998IntroductionTS,
  title={Introduction to Supercompilation},
  author={M. S{\o}rensen and R. Gl{\"u}ck},
  booktitle={Partial Evaluation},
  year={1998}
}
This paper gives an introduction to Turchin's supercompiler, a program transformer for functional programs which performs optimizations beyond partial evaluation and deforestation. More precisely, the paper presents positive supercompilation. 

References

SHOWING 1-10 OF 41 REFERENCES
Deforestation: Transforming Programs to Eliminate Trees
  • P. Wadler
  • Computer Science
  • Theor. Comput. Sci.
  • 1990
A Roadmap to Metacomputation by Supercompilation
Convergence of program transformers in the metric space of trees
Metacomputation: Metasystem Transitions plus Supercompilation
  • V. Turchin
  • Computer Science
  • Dagstuhl Seminar on Partial Evaluation
  • 1996
Proving the Correctness of Recursion-Based Automatic Program Transformations
  • David Sands
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 1996
Termination of Rewriting
A Positive Supercompiler
...
1
2
3
4
5
...