Declarative debugging for encapsulated search

Electronic Notes in Theoretical Computer Science

Volumn 76, Issue , 2002, Pages 52-64

  Caballero, Rafael ^a   Lux, Wolfgang ^b  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

^b UNIVERSITY OF MÜNSTER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; ERROR ANALYSIS; GRAPHICAL USER INTERFACES; SEMANTICS; TREES (MATHEMATICS);

ALGORITHMIC DEBUGGING; DECLARATIVE DEBUGGING; DECLARATIVE LANGUAGES; DECLARATIVE SEMANTICS;

LOGIC PROGRAMMING;

EID: 18944362530     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80785-0     Document Type: Conference Paper

References (16)

1. Alpuente M., Correa J., Falaschi M. A Debugging Scheme for Functional Logic Programs. Proc. WFLP'2001. September 13-15, 2001;1 Kiel, Germany
2. R. Caballero, F.J. López-Fraguas and M. Rodríguez-Artalejo. Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. Technical Report SIP-104-00, Dep. Lenguajes, Sistemas Informáticos y Programación, July 2000. 2, 2
3. Comini M., Levi G., Meo M.C., Vitello G. Abstract Diagnosis. J. of Logic Programming. 39:1999;43-93. 1
4. R. Caballero and M. Rodríguez-Artalejo. A Declarative Debugging System for Lazy Functional Logic Programs. Electronic Notes in Theoretical Computer Science. Volume 64. To appear. 2, 2, 5
5. M. Hanus. Curry: An Integrated Functional Logic Language. Version 0.7.1, June 2000. Available at http://www.informatik.uni-kiel.de/curry/report.html. 1, 2
6. Hanus M., Steiner F. Controlling Search in Declarative Programs. In Proc. PLILP/ALP'98. LNCS 1490 :1998;374-390. 1, 3
7. López-Fraguas F.J., Sánchez Jaime Heznández. TOY a Multiparadigm Declarative System. Proc. RTA'99. LNCS 1631 :1999;244-247 Springer Verlag
8. Lux W. Implementing Encapsulated Search for a Lazy Functional Logic Language. Proc. FLOPS 99. LNCS 1722 :1999;100-113. 1
9. Naish L. A Declarative Debugging Scheme. Journal of Functional and Logic Programming. 1997-3;1
10. L. Naish, Timothy 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. 2
11. Naish L., Barbour T. Towards a Portable Lazy Functional Declarative Debugger. Australian Computer Science Communications. 18:(1):1996;401-408. 1
12. Nilsson H., Fritzson P. Algorithmic Debugging of Lazy Functional Languages. The Journal of Functional Programming. 4:(3):1994;337-370. 1
13. Nilsson H., Sparud J. The Evaluation Dependence Tree as a basis for Lazy Functional Debugging. Automated Software Engineering. 4:(2):1997;121-150. 1, 2
14. Peyton Jones S., Wadler P. Imperative Functional Programming. Proc. POPL'93. 1993;123-127 ACM. 3
15. B. Pope. Buddha. A Declarative Debugger for Haskell. Honors Thesis, Department of Computer Science, University of Melbourne, Australia, June 1998. 1
16. Shapiro E.Y. Algorithmic Program Debugging. 1982;The MIT Press, Cambridge, Mass