Author:
Almendros-Jiménez Jesús M.,Becerra-Terón Antonio
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. J. M. Almendros-Jiménez and A. Becerra-Terón. A Framework for Goal Directed Bottom-Up Evaluation of Functional Logic Programs, available in http://www.ual.es/~jalmen. Technical report, Universidad de Almerìa, 2000.
2. S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. of POPL’94. pp. 268–279. ACM Press.
3. K. R. Apt. Logic programming. In Handbook of Theoretical Computer Science. Vol B: Formal Models and Semantics, chapter 10, pp. 493–574. MIT Press, 1990.
4. R. Barbuti, R. Giacobazzi, and G. Levi. A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs. TOPLAS, 15(1):133–181, 1993.
5. C. Beeri and R. Ramakrishnan. On the Power of Magic. JLP, 10(3,4):255–299, 1991.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献