A demand driven computation strategy for lazy narrowing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 714 LNCS, Issue , 1993, Pages 184-200

  Loogen, Rita ^a   López Fraguas, Francisco ^b   Rodríguez Artalejo, Mario ^b  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; DECISION TREES; FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING;

CONDITIONAL TERM REWRITING SYSTEMS; DEMAND-DRIVEN; SOLVING MECHANISM;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84947795570     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57186-8_79     Document Type: Conference Paper

References (22)

1. S. Antoy: Lazy Evaluation in Logic, Symp. on Programming Language Implementation and Logic Programming 1991, LNCS 528, Springer Verlag 1991, 371-382.
2. S. Antoy: Definitional Trees, Int. Conf. on Algebraic and Logic Programming (ALP) 92, LNCS 632, Springer Verlag 1992, 143-157.
3. P.G. Bosco, C. Cecchi, and C. Moiso: An extension of WAM for K-LEAF, 6th Int. Conf. on Logic Programming, Lisboa, 1989, 318-333.
4. M. M. T. Chakravarty, H. C. R. Lock: The Implementation of Lazy Narrowing, Symp. on Programming Language Implementation and Logic Programming 1991, LNCS 528, Springer Verlag 1991, 123-134.
5. P.H. Cheong: Compiling lazy narrowing into Prolog, Technical Report 25, LIENS, 1990, to appear in: Journal of New Generation Computing.
6. P.H. Cheong and L. Fribourg: A survey of the implementations of narrowing, in: J. Darlington and R. Dietrich (eds.) Declarative Programming. Workshops in Computing, Springer Verlag & BCS, 1992, 177-187.
7. M. Dershowitz, M. Okada: A rationale for conditional equational rewriting, Theoret. Comput. Sci. 75(1/2), 1990, 11-137.
8. E. Giovannetti, G. Levi, C. Moiso, C. Palamidessi: Kernel LEAF: A Logic plus Functional Language, Journal of Computer and System Sciences, Vol. 42, No. 2, Academic Press 1991, 139-185.
9. J.C. Gonzalez Moreno, M.T. Hortala Gonzalez, M. Rodriguez Artalejo: On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming, to appear in: Computer Science Logic (CSL) 92, LNCS 702, Springer Verlag 1993 (15 pp.).
10. W. Hans, R. Loogen, St. Winkler: On the Interaction of Lazy Evaluation and Backtracking, Int. Symp. on Programming Language Implementation and Logic Programming (PLILP) 92, LNCS 631, Springer Verlag 1992.
11. J.A. Jimenez Martin, J. Marino Carballo, J.J. Moreno Navarro: Efficient Compilation of Lazy Narrowing into Prolog, LOPSTR 92, LNCS, Springer Verlag 1992.
12. R. Loogen: From reduction machines to narrowing machines, TAPSOFT 91, CCPSD, LNCS 494, Springer Verlag 1991, 438-457.
13. R. Loogen, St. Winkler: Dynamic Detection of Determinism in Functional Logic Languages, Int. Symp. on Programming Language Implementation and Logic Programming (PLILP) 91, LNCS 528, Springer Verlag 1991, 335-346 (revised version to appear in TCS).
14. R. Loogen, F. J. Lopez Fraguas, M. Rodriguez Artalejo: A Demand Driven Computation Strategy for Lazy Narrowing, Tech. Rep. Dep. Informatica y Automatica, UCM, Madrid, 1993.
15. J. J. Moreno Navarro, M. Rodriguez Artalejo: Logic Programming with Functions and Predicates: The Language BABEL, Journal of Logic Programming Vol. 12, North Holland 1992, 191-223.
16. J.J. Moreno-Navarro, H. Kuchen, R. Loogen and M. Rodriguez-Artalejo: Lazy narrowing in a graph machine, Conf. on Algebraic and Logic Programming (ALP 90), LNCS 463, Springer Verlag 1990, 298-317.
17. S. Narain: A technique for doing lazy evaluation in logic, The Journal of Logic Programming, 3, 1986, 259-276.
18. U.S. Reddy: Narrowing as the operational semantics of functional languages, IEEE Symp. on Logic Programming, IEEE Comp. Soc. Press 1985, 138-151.
19. P. Wadler: Efficient Compilation of Pattern-Matching, Chapter 5 in: S. Peyton-Jones: The Implementation of Functional Programming Languages, Prentice Hall 1987.
20. D.H.D. Warren: An abstract Prolog instruction set, Technical Report 309, SRI International 1983.
21. D. Wolz: Design of a compiler for lazy pattern driven narrowing, 7th. Workshop on Specification of ADTs, LNCS 534, Springer Verlag 1991, 362-379.
22. J. H. You: Enumerating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems, Journal of Symbolic Computation 7, 1989, 319-341.