Theoretical foundations for the declarative debugging of lazy functional logic programs

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

Volumn 2024, Issue , 2001, Pages 170-184

  Caballero, Rafael ^a   López Fraguas, Francisco J ^a   Rodríguez Artalejo, Mario ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FUNCTIONAL PROGRAMMING; PROGRAM DEBUGGING; PROLOG (PROGRAMMING LANGUAGE); RECONFIGURABLE HARDWARE;

DECLARATIVE DEBUGGING; FUNCTIONAL LOGIC PROGRAMS; HIGHER ORDER FUNCTIONS; LAZY FUNCTIONAL LOGIC PROGRAMMING; LOGICAL FRAMEWORKS; PROTOTYPE IMPLEMENTATIONS; SOUNDNESS AND COMPLETENESS; THEORETICAL FOUNDATIONS;

LOGIC PROGRAMMING;

EID: 84958950895     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44716-4_11     Document Type: Conference Paper

References (20)

1. S. Antoy, R. Echahed, M. Hanus. A Needed Narrowing Strategy. 21st ACM Symp. on Principles of Programming Languages, Portland, ACM Press, pp. 268-279, 1994.
2. G. Ferrand. Error Diagnosis in Logic Programming, an Adaptation of E.Y. Shapiro's Method. The Journal of Logic Programming 4(3), pp. 177-198, 1987.
3. M. Falaschi, G. Levi, M. Martelli, C. Palamidessi. A Model-theoretic Reconstruc- tion of the Operational Semantics of Logic Programs. Information and Computation 102(1). pp. 86-113, 1993.
4. J.C. Gonzalez-Moreno, M.T. Hortala-Gonzalez, M. Rodriguez-Artalejo. A Higher Order Rewriting Logic for Functional Logic Programming. Procs. of ICLP'97, The MIT Press, pp. 153-167, 1997.
5. J.C. Gonzalez-Moreno, M.T. Hortala-Gonzalez, F.J. Lopez-Fraguas, M. Rodriguez-Artalejo. An Approach to Declarative Programming Based on a Rewriting Logic, Journal of Logic Programming 40(1), pp. 47-87, 1999.
6. M. Hanus. The Integration of Functions into Logic Programming: A Survey. J. of Logic Programming 19-20, special issue “Ten Years of Logic Programming", pp. 583-628, 1994.
7. M. Hanus (ed.), Curry: an Integrated Functional Logic Language, Version 0.7, February 2, 2000. Available at http://www.informatik.uni-kiel.de/~curry/.
8. J. W. Lloyd. Declarative Error Diagnosis. New Generation Computing 5(2), pp. 133-154, 1987.
9. R. Loogen, F.J. Lopez-Fraguas, M. Rodriguez-Artalejo. A Demand Driven Com- putation Strategy for Lazy Narrowing. Procs. of PLILP'93, Springer LNCS 714, pp. 184-200, 1993.
10. F.J. Lopez-Fraguas, J. Sanchez-Hernandez. T OY: A Multiparadigm Declarative System, in Proc. RTA'99, Springer LNCS 1631, pp 244-247, 1999. Available at http://titan.sip.ucm.es/toy.
11. L. Naish. Declarative dDebugging of Lazy Functional Programs. Australian Computer Science Communications, 15(1), pp. 287-294, 1993.
12. L. Naish. A Declarative Debugging Scheme. J. of Functional and Logic Programming, 1997-3.
13. L. Naish, T. Barbour. A Declarative Debugger for a Logical-Functional Language. In Graham Forsyth and Moonis Ali, eds. Eight International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems - Invited and additional papers, Vol. 2, pp. 91-99, 1995. DSTO General Document 51.
14. L. Naish, T. Barbour. Towards a Portable Lazy Functional Declarative Debugger. Australian Computer Science Communications, 18(1), pp. 401-408, 1996.
15. H. Nilsson, P. Fritzson. Algorithmic Debugging of Lazy Funcional Languages. The Journal of Functional Programming, 4(3), pp. 337-370, 1994.
16. H. Nilsson, J. Sparud. The Evaluation Dependence Tree as a Basis for Lazy Func- tional Debugging. Automated Software Engineering, 4(2), pp. 121-150, 1997.
17. H. Nilsson. Declarative Debugging for Lazy Functional Languages. Ph.D. Thesis. Dissertation No. 530. Univ. Linkoping, Sweden. 1998.
18. J. Peterson, K. Hammond (eds.), Report on the Programming Language Haskell 98, A Non-strict, Purely Functional Language, 1 February 1999.
19. E.Y. Shapiro. Algorithmic Program Debugging. The MIT Press, Cambridge, Mass., 1982.
20. L. Sterling, E. Shapiro. The Art of Prolog. The MIT Press, 1986.