A partial evaluator, and its use as a programming tool-Reference-Cited by-同舟云学术

A partial evaluator, and its use as a programming tool

Published:1976 Issue:4 Volume:7 Page:319-357
ISSN:0004-3702
Container-title:Artificial Intelligence
language:en
Short-container-title:Artificial Intelligence

Author:

Beckman Lennart,Haraldson Anders,Oskarsson Östen,Sandewall Erik

Publisher

Elsevier BV

Subject

Artificial Intelligence,Linguistics and Language,Language and Linguistics

Reference15 articles.

1. Proving theorems about lisp functions;Boyer,1974

2. Symbolic Logic and Mechanical Theorem-Proving;Chang,1973

3. A system which automatically improves programs;Darlington,1975

4. An interactive program verifier;Deutch;Ph.D. Thesis, Xerox Research Center, Palo Alto, CA,1973

5. Dixon, J. The SPECIALIZER, a method of automatically writing computer programs. Div. of Computer Research and Technology, NIH, Bethesda, MD, unpublished report.

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

1. The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution);Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11

2. Linear Algebraic Abduction with Partial Evaluation;Practical Aspects of Declarative Languages;2023

3. Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation;Logic-Based Program Synthesis and Transformation;2023

4. CompGen: generation of fast JIT compilers in a multi-language VM;Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages;2021-10-19

5. Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation;IEEE Transactions on Software Engineering;2018-06-01