Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs-Reference-Cited by-同舟云学术

Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs

Published: Issue: Volume: Page:60-76
ISSN:
Container-title:Logic-Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Arroyo Gustavo,Ramos J. Guadalupe,Silva Josep,Vidal Germán

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-71410-1_6.pdf

Reference32 articles.

1. Albert, E., Vidal, G.: The Narrowing-Driven Approach to Functional Logic Program Specialization. New Generation Computing 20(1), 3–26 (2002)

2. Alpuente, M., Falaschi, M., Vidal, G.: Partial Evaluation of Functional Logic Programs. ACM TOPLAS 20(4), 768–844 (1998)

3. Lecture Notes in Computer Science;S. Antoy,1992

4. Antoy, S., Echahed, R., Hanus, M.: A Needed Narrowing Strategy. Journal of the ACM 47(4), 776–822 (2000)

5. Arroyo, G., Ramos, J.G., Silva, J., Vidal, G.: Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. Technical report, Technical University of Valencia (2006), Available from the following URL, http://www.dsic.upv.es/users/elp/german/papers.html

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

1. Termination of narrowing via termination of rewriting;Applicable Algebra in Engineering, Communication and Computing;2010-02-25

2. Towards Scalable Partial Evaluation of Declarative Programs;Logic-Based Program Synthesis and Transformation;2010

3. A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs;Logic-Based Program Synthesis and Transformation;2009

4. Preserving Sharing in the Partial Evaluation of Lazy Functional Programs;Logic-Based Program Synthesis and Transformation;2008

5. Termination of Narrowing in Left-Linear Constructor Systems;Functional and Logic Programming