Author:
Futamura Yoshihiko,Nogi Kenroku,Takano Akihiko
Subject
General Computer Science,Theoretical Computer Science
Reference30 articles.
1. The Lamda Calculus, Its Syntax and Semantics;Barendregt,1981
2. A partial evaluator and its use as a programming tool;Beckman;Artificial Intelligence,1976
3. Improving programs by the introduction of recursion;Bird;Comm. ACM,1977
4. A fast string search algorithm;Boyer;Comm. ACM,1977
5. Symbolic evaluation and analysis of programs;Cheatham;IEEE Trans. Software Engineering,1976
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Incremental Computation: What Is the Essence? (Invited Contribution);Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. On the semantic equivalence of language syntax formalisms;Theoretical Computer Science;2020-11
3. FliPpr: A System for Deriving Parsers from Pretty-Printers;New Generation Computing;2018-07
4. Partial evaluation of machine code;ACM SIGPLAN Notices;2015-12-18
5. Partial evaluation of machine code;Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications;2015-10-23