The essence of program transformation by partial evaluation and driving-Reference-Cited by-同舟云学术

The essence of program transformation by partial evaluation and driving

Published: Issue: Volume: Page:206-224
ISSN:
Container-title:Logic, Language and Computation
language:
Short-container-title:

Author:

Jones Neil D.

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0032402

Reference36 articles.

1. Sergei M. Abramov, Metacomputation and program testing. In: 1st International Workshop on Automated and Algorithmic Debugging. (Linköping, Sweden). pp. 121–135, Linköping University 1993.

2. Samson Abramsky and Chris Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987.

3. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.

4. Lennart Augustsson, Compiling lazy pattern-matching. Conference on Functional Programming and Computer Architecture, ed. J.-P. Jouannoud. Lecture Notes in Computer Science 201, Springer-Verlag, 1985.

5. L. Beckman et al. A partial evaluator, and its use as a programming tool. Artificial Intelligence, 7(4), pp. 319–357, 1976.

Cited by 21 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. Simple Driving Techniques;Lecture Notes in Computer Science;2002

3. Principles of Inverse Computation and the Universal Resolving Algorithm;Lecture Notes in Computer Science;2002

4. Inverse computation and the Universal Resolving Algorithm;Wuhan University Journal of Natural Sciences;2001-03

5. Convergence of program transformers in the metric space of trees;Science of Computer Programming;2000-05