An introduction to partial deduction-Reference-Cited by-同舟云学术

An introduction to partial deduction

Published:1992 Issue: Volume: Page:49-69
ISSN:0302-9743
Container-title:Meta-Programming in Logic
language:
Short-container-title:

Author:

Komorowski Jan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56282-6_4.pdf

Reference46 articles.

1. K. Apt and D. Pedreschi. Proving termination of genreal prolog programs. In Proceedings of the International Conference on Theoretical Apsects of Computer Science, Sendai, 1991.

2. L. Beckman et al. A partial evaluator, and its use as a programming tool. Artificial Intelligence, 7(4):319–357, 1976.

3. K. Benkerimi and J. Lloyd. A Procedure for the Partial Evaluation of Logic Programs. TR-89-04, Department of Computer Science, University of Bristol, 1989.

4. D. Bjorner, A. Ershov, and N. Jones, editors. Partial Evaluation and Mixed Computation. Proceedings of the IFIP TC2 Workshop, Gammel Avenues, Denmark, October 1987. North-Holland, 1988. 625 pages.

5. R. Bol. Loop checking in partial deduction. CS-R 9134, Center for Mathematics and Computer Science, Amsterdam, 1991. To appear in the Journal of Logic Programming.

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

1. Supercompilation and partial evaluation are still not widely used in practice. Why and what to do?;Proceedings of 24th Scientific Conference “Scientific Services & Internet – 2022”;2022

2. Closed-Form Upper Bounds in Static Cost Analysis;Journal of Automated Reasoning;2010-04-29

3. Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates;Logic Based Program Synthesis and Transformation;2006

4. Specialising Interpreters Using Offline Partial Deduction;Program Development in Computational Logic;2004

5. LIX: an Effective Self-applicable Partial Evaluator for Prolog;Functional and Logic Programming;2004