Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Electronic Notes in Theoretical Computer Science 57 (2001) URL: http://www.elsevier.nl/locate/entcs/volume57.html 24 pages
 

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

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences