| | |
Summary: Electronic Notes in Theoretical Computer Science 57 (2001)
URL: http://www.elsevier.nl/locate/entcs/volume57.html 24 pages
Declarative Debugging of
Functional Logic Programs 1
M. Alpuente 2
Departamento de Sistemas Informaticos y Computacion-DSIC
Technical University of Valencia
Camino de Vera s/n, 46022 Valencia, Spain.
F. J. Correa 3
Departamento de Informatica y Sistemas{DIS
University EAFIT, Carrera 49 7 Sur 50, 3300 Medelln, Colombia.
M. Falaschi 4
Dipartimento di Matematica e Informatica
University of Udine, Via delle Scienze 206, 33100 Udine, Italy.
Abstract
We present a general framework for the declarative debugging of functional logic
programs, which is valid both for eager as well as lazy programs. We associate to
our programs a semantics based on a (continuous) immediate consequence operator
which models computed answers. Then we show that, given the intended speci ca-
tion of a program P , it is possible to check the correctness of P by a single step of
|
