Mix: A self-applicable partial evaluator for experiments in compiler generation-Reference-Cited by-同舟云学术

Mix: A self-applicable partial evaluator for experiments in compiler generation

Published:1989-02 Issue:1 Volume:2 Page:9-50
ISSN:0892-4635
Container-title:Lisp and Symbolic Computation
language:en
Short-container-title:Lisp and Symbolic Computation

Author:

Jones Neil D.,Sestoft Peter,Søndergaard Harald

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications,Software,General Computer Science

Link

http://link.springer.com/content/pdf/10.1007/BF01806312.pdf

Reference56 articles.

1. Aho, A. V., Sethi, R., and J. D. Ullman,Compilers: Principles, Techniques and Tools, Addison-Wesley, Reading, Massachusetts, 1986.

2. Beckman, L., Haraldsson, A., Oskarsson,:O., and Sandewall, E. A partial evaluator, and its use as a programming tool.Artificial Intelligence 7, 4 (1976), 319–357.

3. Bjørner, D., Ershov, A. P., and Jones, N. D. (Eds.).Partial Evaluation and Mixed Computation, Gl. Avernæs, Denmark, 1987. North-Holland, Amsterdam, 1988 (to appear).

4. Bondorf, A. Towards a self-applicable partial evaluator for term rewriting systems. In [3].

5. Bulyonkov, M. A. Polyvariant mixed computation for analyzer programs.Acta Informatica 21 (1984), 473–484.

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

1. Equivalence by Canonicalization for Synthesis-Backed Refactoring;Proceedings of the ACM on Programming Languages;2024-06-20

2. Incremental Fusion: Unifying Compiled and Vectorized Query Execution;2024 IEEE 40th International Conference on Data Engineering (ICDE);2024-05-13

3. 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

4. Efficiency Investigation of BT-Object Based Partial Evaluation of Interpreters Written in the Java Object-Oriented Language;Program Systems: Theory and Applications;2022-12-05

5. An Interactive Interpreter for Two Dimensional Lucid;IEEE Access;2022