Author:
Glück Robert,Jørgensen Jesper
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Rod M. Burstall, and John Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1):44–67, 1977.
2. Workshops in Computing;A. Bondorf,1991
3. Anders Bondorf. Similix 5.0 Manual. DIKU, University of Copenhagen, Denmark, May 1993. Included in Similix distribution, 82 pages.
4. Yoshihiko Futamura. Partial evaluation of computing process — an approach to a compiler-compiler. Systems, Computers, Controls, 2(5):45–50, 1971.
5. Robert Glück and Jesper Jørgensen. Generating optimizing specializers. In IEEE International Conference on Computer Languages, pages 183–194. IEEE Computer Society Press, 1994.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Partial Evaluation of Reversible Flowchart Programs;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation;Logic-Based Program Synthesis and Transformation;2023
3. The Next 700 Program Transformers;Logic-Based Program Synthesis and Transformation;2022
4. An Experiment Combining Specialization with Abstract Interpretation;Electronic Proceedings in Theoretical Computer Science;2020-08-07
5. An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata;Electronic Proceedings in Theoretical Computer Science;2018-03-23