Cogen in six lines-Reference-Cited by-同舟云学术

Cogen in six lines

Published:1996-06-15 Issue:6 Volume:31 Page:180-189
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Thiemann Peter J.¹

Affiliation:

1. Wilhelm-Schickard-Institut, Universität, Tübingen, Sand 13, D-72076 Tübingen, Germany

Abstract

We have designed and implemented a program-generator generator (PGG) for an untyped higher-order functional programming language. The program generators perform continuation-based multi-level offline specialization and thus combine the most powerful and general offline partial evaluation techniques. The correctness of the PGG is ensured by deriving it from a multi-level specialize. Our PGG is extremely simple to implement due to the use of multi-level techniques and higher-order abstract syntax.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/232629.232647

Reference29 articles.

1. Automatic autoprojection of higher order recursive equations

2. Improving binding times without explicit CPS-conversion

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Typing, representing, and abstracting control: functional pearl;Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development;2018-09-27

2. Collapsing towers of interpreters;Proceedings of the ACM on Programming Languages;2018-01

3. Jones-optimal partial evaluation by specialization-safe normalization;Proceedings of the ACM on Programming Languages;2018-01

4. Selective CPS transformation for shift and reset;Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2017-12-25

5. Eager Evaluation Isn't Eager Enough A Transformation Based Approach to Semantics-Directed Code Generation;Proceedings of ILC 2014 on 8th International Lisp Conference;2014-08-14