A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424.-Reference-Cited by-同舟云学术

A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424.

Published:2002-09 Issue: Volume:64 Page:18-55
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Alpuente María,Correa Franciso,Falaschi Moreno

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference50 articles.

1. Z. Alexin, T. Gyimóthy, and H. Bostrom. Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. In Proc. ECAI'96. John Wiley & Sons, 1996.

2. M. Alpuente, F. Correa, and M. Falaschi. Declarative Debugging of Functional Logic Programs. In B. Gramlich and S. Lucas, editors, Proc. of the International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001), volume 57 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2001.

3. M. Alpuente, F. Correa, and M. Falaschi. A Debugging Scheme for Functional Logic Programs. Technical Report DSIC-II/10/02, UPV, 2002. Available at URL: http://www.dsic.upv.es/users/elp/papers.html.

4. M. Alpuente, F. Correa, M. Falaschi, and S. Marson. The Debugging System BUGGY. Technical Report DSIC-II/1/01, UPV, 2001. Available at URL: http://www.dsic.upv.es/users/elp/papers.html.

5. Analyses of Unsatisfiability for Equational Logic Programming;Alpuente;Journal of Logic Programming,1995