A roadmap to metacomputation by supercompilation-Reference-Cited by-同舟云学术

A roadmap to metacomputation by supercompilation

Published:1996 Issue: Volume: Page:137-160
ISSN:0302-9743
Container-title:Partial Evaluation
language:
Short-container-title:

Author:

Glück Robert,Sørensen Morten Heine

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61580-6_8.pdf

Reference100 articles.

1. S.M. Abramov. Metavychislenija i logicheskoe programmirovanie (Metacomputation and logic programming). Programmirovanie, 3:31–44, 1991. (In Russian).

2. S.M. Abramov. Metacomputation and program testing. In 1st International Workshop on Automated and Algorithmic Debugging, pp. 121–135, 1993.

3. S.M. Abramov. Metavychislenija i ikh prilozhenija (Metacomputation and its application). Nauka, Moscow, 1995. (In Russian).

4. S.M. Abramov and N.V. Kondratiev. Kompiljator, osnovannyj na metode chastichnykh vychislenij (A compiler based on the method of partial evaluation). In Nekotorye voprosy prikladnojmatematiki i programmnogo obespechenija EhVB, pp. 66–69. Moscow State University, Moscow, 1982. (in Russian).

5. M. Alpuente, M. Falaschi, and G. Vidal. Narrowing-driven partial evaluation of functional logic programs. In European Symposium on Programming-ESOP '96, LNCS. Springer-Verlag, 1996. To appear.

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

1. A self-applicable online partial evaluator for recursive flowchart languages;Software: Practice and Experience;2011-06-20

2. What Do Reversible Programs Compute?;Foundations of Software Science and Computational Structures;2011

3. Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism;Automatic Program Development;2008

4. Constructing Rewrite-Based Decision Procedures for Embeddings and Termination;Lecture Notes in Computer Science;2006

5. Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism;Higher-Order and Symbolic Computation;2005-06