A declarative debugging system for lazy functional logic programs

Electronic Notes in Theoretical Computer Science

Volumn 64, Issue , 2002, Pages 113-175

  Caballero, Rafael ^a   Rodríguez Artalejo, Mario ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; ERROR ANALYSIS; PROGRAM DEBUGGING; SEMANTICS; SOFTWARE PROTOTYPING;

COMPUTATION TREE (CT); DEBUGGERS; FUNCTIONAL LOGIC LANGUAGES; FUNCTIONAL LOGIC PROGRAMMING (FLP);

LOGIC PROGRAMMING;

EID: 1242263593     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80349-9     Document Type: Conference Paper

References (29)

1. Alpuente M., Correa J., Falaschi M. A Debugging Scheme for Functional Logic Programs. Proc. WFLP'2001, Kiel, Germany. September 2001;13-15
2. Caballero R., López-Fraguas F.J., Rodríguez-Artalejo M. Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. In Proc. FLOPS'01, Springer LNCS 2024. 2001;170-184
3. Comini M., Levi G., Meo M.C., Vitello G. Abstract Diagnosis. J. of Logic Programming. 39:1999;43-93
4. Damas L., Milner R. Principal Type Schemes for Functional Programs. Proc. ACM Symp. on Principles of Programming Languages (POPL'82). 1982;207-212 ACM Press
5. Falaschi M., Levi G., Martelli M., Palamidessi C. A Model-theoretic Reconstruction of the Operational Semantics of Logic Programs. Information and Computation. 102:(1):1993;86-113
6. Ferrand G. Error Diagnosis in Logic Programming, an Adaptation of E.Y. Shapiro's Method. The Journal of Logic Programming. 4:(3):1987;177-198
7. Giovannetti E., Levi G., Moiso C., Palamidessi C. Kernel-LEAF: A Logic plus Functional Language. Journal of Computer and System Science. 42:(2):1991;139-185
8. González-Moreno J.C., Hortalá-González M.T., López-Fraguas F.J., Rodríguez-Artalejo M. An Approach to Declarative Programming Based on a Rewriting Logic. The Journal of Logic Programming. 40:(1):1999;47-87
9. J.C. González-Moreno, M.T. Hortalá-González and M. Rodríguez-Artalejo. Polymorphic Types in Functional Logic Programming. FLOPS'99 special issue of the Journal of Functional and Logic Programming, 2001. See http://danae.uni-muenster.de/lehre/kuchen/JFL.
10. Gunter C.A., Scott D. Semantic Domains. van Leeuwen J. Handbook of Theoretical Computer Science. B:1990;633-674 Elsevier and The MIT Press. Chapter 6
11. Hanus M. The Integration of Functions into Logic Programming: A Survey. J. of Logic Programming. 1994;19-20. Special issue "Ten Years of Logic Programming" 1994;583-628
12. M. Hanus (ed.). Curry: An Integrated Functional Logic Language. Version 0.7, February 2, 2000. Available at http://www.informatik.uni-kiel.de/curry.
13. Lloyd J.W. Declarative Error Diagnosis. New Generation Computing. 5:(2):1987;133-154
14. López-Fraguas F.J., Sánchez-Hernández J. TOY: A Multiparadigm Declarative System. In Proc. RTA'99, Springer LNCS 1631. 1999;244-247. Available at http://titan.sip.ucm.es/to.
15. Milner R. A Theory of Type Polymorphism in Programming. Journal of Computer and Systems Sciences. 17:1978;348-375
16. Möller B. On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types. Acta Informatica. 22:1985;537-578
17. Naish L. Declarative Diagnossing of Missing Answers. New Generation Computing. 10:1991;255-385
18. Naish L. Declarative Debugging of Lazy Functional Programs. Australian Computer Science Communications. 15:(1):1993;287-294
19. Naish L. A Declarative Debugging Scheme. Journal of Functional and Logic Programming. 1997-3
20. Naish L., Barbour T. Towards a Portable Lazy Functional Declarative Debugger. Australian Computer Science Communications. 18:(1):1996;401-408
21. Nilsson H., Fritzson P. Algorithmic Debugging of Lazy Funcional Languages. The Journal of Functional Programming. 4:(3):1994;337-370
22. Nilsson H., Sparud J. The Evaluation Dependence Tree as a basis for Lazy Functional Debugging. Automated Software Engineering. 4:(2):1997;121-150
23. H. Nilsson. Declarative Debugging for Lazy Functional Languages. Ph.D. Thesis. Dissertation No. 530. Univ. Linköping, Sweden. 1998.
24. S.L. Peyton Jones (ed.), J. Hughes (ed.), L. Augustsson, D. Barton, B. Boutel, W. Burton, J. Fasel, K. Hammond, R. Hinze, P. Hudak, T. Johnsson, M.P. Jones, J. Launchbury, E. Meijer, J. Peterson, A. Reid, C. Runciman and P. Wadler. Report on the programming language Haskell 98: a non-strict, purely functional language. Available at http://www.haskell.org/definition, February 1999.
25. B. Pope. Buddha. A Declarative Debugger for Haskell. Honours Thesis, Department of Computer Science, University of Melbourne, Australia, June 1998.
26. Shapiro E.Y. Algorithmic Program Debugging. 1982;The MIT Press, Cambridge, Mass
27. J. Sparud. Tracing and Debuggging Lazy Functional Computations. PhD Thesis. Department of Computer Science, Chalmers Universitity of Technology. Göteborg, Sweden, 1999.
28. Tessier A., Ferrand G. Declarative Diagnosis in the CLP Scheme. Deransart P., Hermenegildo M., Maluszynski J. Analysis and Visualization Tools for Constraint Programming, Chapter 5. 2000;151-174 Springer, LNCS 1870
29. Wadler P. Why no one uses Functional Languages. SIGPLAN Notices. 33:(8):1998;23-27