Bootstrapping Higher-Order Program Transformers from Interpreters

DMCA

Bootstrapping Higher-Order Program Transformers from Interpreters (1996)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Michael Sperber , Robert Glück , Peter Thiemann

Venue:	IN PROCEEDINGS OF THE 1996 ACM SYMPOSIUM ON APPLIED COMPUTING
Citations:	8 - 4 self

BibTeX

@INPROCEEDINGS{Sperber96bootstrappinghigher-order,
    author = {Michael Sperber and Robert Glück and Peter Thiemann},
    title = {Bootstrapping Higher-Order Program Transformers from Interpreters},
    booktitle = {IN PROCEEDINGS OF THE 1996 ACM SYMPOSIUM ON APPLIED COMPUTING},
    year = {1996},
    pages = {408--413},
    publisher = {ACM Press}
}

OpenURL

Abstract

Partial evaluation can automatically generate program transformers from interpreters. In the context of functional languages, we investigate the design space of higher-order interpreters to achieve certain transformation effects. The present work is based on the interpretive approach and exploits the language preservation property of offline partial evaluators. We have generated higher-order online partial evaluators, optimizing closure converters, and converters to first-order tail form. The latter can serve as the middle end of a compiler. The generated transformers are strictly more powerful than the partial evaluators used for their generation. A simple-minded partial evaluator for a first-order language suffices to generate the above transformers. Self-application of a partial evaluator with respect to an interpreter produces a compiler. We investigate the generatation of optimizing program transformers from interpreters. We study different types of interpreters for a strict, high...

Keyphrases

higher-order program transformer partial evaluator program transformer higher-order interpreter certain transformation effect interpretive approach first-order language suffices offline partial evaluator different type language preservation property higher-order online partial evaluator present work closure converter first-order tail form design space generated transformer functional language partial evaluation middle end simple-minded partial evaluator

DMCA