Generating Transformers for Deforestation and Supercompilation
Abstract elided by the publisher.
Related papers
- A Positive Supercompiler JFP 1996
- Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC ESOP 1994
- Positive supercompilation for a higher order call-by-value language POPL 2009
- The Concept of a Supercompiler TOPLAS 1986
- Deforestation: Transforming Programs to Eliminate Trees ESOP 1988
- Deforesting in Accumulating Parameters via Type-Directed Transformations APLAS 2002
- Program Transformation with Metasystem Transitions JFP 1993
- Type Inference Builds a Short Cut to Deforestation ICFP 1999