Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates-Reference-Cited by-同舟云学术

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates

Published:2006 Issue: Volume: Page:115-132
ISSN:0302-9743
Container-title:Logic Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Albert Elvira,Puebla Germán,Gallagher John P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11680093_8

Reference17 articles.

1. Albert, E., Hanus, M., Vidal, G.: A practical partial evaluation scheme for multi-paradigm declarative languages. Journal of Functional and Logic Programming 2002(1) (2002)

2. Etalle, S., Gabbrielli, M., Marchiori, E.: A Transformation System for CLP with Dynamic Scheduling and CCP. In: Proc. of the ACM Sigplan PEPM 1997, pp. 137–150. ACM Press, New York (1997)

3. Lecture Notes in Computer Science;J. Gallagher,2004

4. Gallagher, J.P.: Tutorial on specialisation of logic programs. In: Proceedings of PEPM 1993, the ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 88–98. ACM Press, New York (1993)

5. Lecture Notes in Computer Science;M. Jacob,2004

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

1. An Empirical Study of Partial Deduction for miniKanren;Electronic Proceedings in Theoretical Computer Science;2021-09-06

2. Fast offline partial evaluation of logic programs;Information and Computation;2014-04

3. Test case generation for object-oriented imperative languages in CLP;Theory and Practice of Logic Programming;2010-07

4. Efficient local unfolding with ancestor stacks;Theory and Practice of Logic Programming;2010-01-18

5. Decompilation of Java bytecode to Prolog by partial evaluation;Information and Software Technology;2009-10