Supercompilation: main principles and basic concepts-Reference-Cited by-同舟云学术

Supercompilation: main principles and basic concepts

Published:2018 Issue:111 Volume: Page:1-36
ISSN:2071-2898
Container-title:Keldysh Institute Preprints
language:
Short-container-title:KIAM Prepr.

Author:

Klimov Andrei Valentinovich¹^ORCID,Romanenko Sergei Anatolievich¹^ORCID

Affiliation:

1. Keldysh Institute of Applied Mathematics

Publisher

Keldysh Institute of Applied Mathematics

Subject

General Medicine

Reference38 articles.

1. Bolingbroke M., Peyton Jones S. Supercompilation by Evaluation // Proceedings of the Third ACM Haskell Symposium on Haskell (Haskell 2010). — ACM, 2010. — P. 135–146.

2. Futamura Y. Partial Evaluation of Computation Process — An Approach to a Compiler-Compiler // Systems, Computers, Controls. — 1971. — Vol. 2, no. 5. — P. 45–50.

3. Futamura Y. EL1 Partial Evaluator (Progress Report). — Center for Research in Computing Technology, Harvard University, January 1973. — URL: http://fi.ftmr.info/PE-Museum/EL1.PDF (accessed: 25.05.2018).

4. Glück R., Klimov And. V. Occam’s Razor in Metacompuation: The Notion of a Perfect Process Tree // Static Analysis. — Vol. 724 of Lecture Notes in Computer Science. — Springer, 1993. — P. 112–123.

5. Jones N. D., Gomard C. K., Sestoft P. Partial Evaluation and Automatic Program Generation. — Prentice Hall, 1993. — ISBN 0-13-020249-5. — URL: http://www.itu.dk/~sestoft/pebook/pebook.html (accessed: 25.05.2018).

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

1. The JaSpe specializer: BT-objects and the interprocedural aspect of the binding-time analysis algorithm;Program Systems: Theory and Applications;2021-12-01

2. Program transformations as the base for optimizing parallelizing compilers;Program Systems: Theory and Applications;2020-03-02

3. Supercompilation: homeomorphic embedding, call-by-name, partial evaluation;Keldysh Institute Preprints;2018