The implementation of lazy narrowing-Reference-Cited by-同舟云学术

The implementation of lazy narrowing

Published:1991 Issue: Volume: Page:123-134
ISSN:0302-9743
Container-title:Programming Language Implementation and Logic Programming
language:
Short-container-title:

Author:

Chakravarty Manuel M. T.,Lock Hendrik C. R.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-54444-5_93.pdf

Reference23 articles.

1. Technical report;H. Ait-Kaci,1990

2. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers — Principles, Techniques and Tools. Addison-Wesley, 1986.

3. P.G. Bosco, C. Cecchi, and C. Moiso. An extension of WAM for K-LEAF: a WAM-based compilation of conditional narrowing. In Proceedings of the 6th Int. Conf. on Logic Programming, page ?, 1989.

4. P.G. Bosco, E. Giovanetti, and C. Moiso. Narrowing vs. SLD-resolution. J. of Theoretical Comp. Sci., Vol. 59, No. 1–2 pages 3–23, 1988.

5. Marco Bellia and Giorgio Levi. The Relation Between Logic and Functional Languages: a Survey. Journal of Logic Programming, 3(3), Oct. 1986.

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

1. Combining lazy narrowing and simplification;Programming Language Implementation and Logic Programming;1994

2. Relating the implementation techniques of functional and functional logic languages;New Generation Computing;1993-06

3. Efficient Compilation of Lazy Narrowing into Prolog;Logic Program Synthesis and Transformation;1993

4. A demand driven computation strategy for lazy narrowing;Lecture Notes in Computer Science;1993

5. A debugging model for functional logic programs;Lecture Notes in Computer Science;1993