Corpus ID: 115475047

Turchin's Supercompiler Revisited - An operational theory of positive information propagation

@inproceedings{Srensen1996TurchinsSR,
  title={Turchin's Supercompiler Revisited - An operational theory of positive information propagation},
  author={M. S{\o}rensen},
  year={1996}
}
Turchin`s supercompiler is a program transformer that includes both partial evaluation and deforestation. Although known in the West since 1979, the essence of its techniques, its more precise relations to other transformers, and the properties of the programs that it produces are only now becomming apparent in the Western functional programming community. This thesis gives a new formulation of the supercompiler in familiar terms; we study the essence of it, how it achieves its e ects, and its… Expand
47 Citations
A Positive Supercompiler
Supercompilation and normalisation by evaluation
Proving the Correctness of Recursion-Based Automatic Program Transformations
  • David Sands
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 1996
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
A comparison of program transformation systems
Controlling the Size of Supercompiled Programs using Multi-result Supercompilation
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 14 REFERENCES
Introduction to functional programming
  • R. Bird, P. Wadler
  • Computer Science
  • Prentice Hall International series in computer science
  • 1988
Higher Order Deforestation
When Will Deforestation Stop
Foundations of Logic Programming
  • J. Lloyd
  • Computer Science
  • Symbolic Computation
  • 1987
Introduction to Mathematical Logic
Prolog Programming for Artificial Intelligence
Definition of standard ML
Introduction to formal language theory
Computability and Unsolvability
  • Martin D. Davis
  • Mathematics, Computer Science
  • McGraw-Hill Series in Information Processing and Computers
  • 1958
Introduction to Metamathematics
...
1
2
...