On safe folding-Reference-Cited by-同舟云学术

On safe folding

Published: Issue: Volume: Page:172-186
ISSN:
Container-title:Programming Language Implementation and Logic Programming
language:
Short-container-title:

Author:

Bossi Annalisa,Cocco Nicoletta,Etalle Sandro

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/3-540-55844-6_135.pdf

Reference26 articles.

1. K. Apt. Introduction to logic programming. In Handbook of Theoretical Computer Science, pages 493–574. Elsevier Science Publishers B.V., 1990.

2. D. BjØrner, A. Ershov, and N. Jones, editors. Partial Evaluation and Mixed Computation. Proceedings of the IFIP TC2 Workshop, Gammel AvernÆs, Denmark, October 1987. North-Holland, 1988. 625 pages.

3. A. Bossi and N. Cocco. Basic transformation operations for logic programs which preserve computed answer substitutions. Technical Report 16, Dip. Matematica Pura e Applicata, Università di Padova, Italy, April 1990. to appear in Special Issue on Partial Deduction of the Journal of Logic Programming.

4. A. Bossi, N. Cocco, and S. Dulli. A method for specializing logic programs. ACM Transactions on Programming Languages and Systems, 12(2):253–302, April 1990.

5. A. Bossi, N. Cocco, and S. Etalle. Transforming normal program by replacement. In Third Workshop on Metaprogramming in Logic, META92: Uppsala, Sweden, June 1992.

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

1. Constraint-based correctness proofs for logic program transformations;Formal Aspects of Computing;2012-07

2. Totally correct logic program transformations via well-founded annotations;Higher-Order and Symbolic Computation;2008-04-12

3. Automatic Correctness Proofs for Logic Program Transformations;Logic Programming;2007

4. An unfold/fold transformation framework for definite logic programs;ACM Transactions on Programming Languages and Systems;2004-05

5. The Replacement Operation for CCP Programs;Logic-Based Program Synthesis and Transformation;2000