Paper Info
Title
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs
Abstract
The aim of this paper is to provide theoretical foundations for the declarative debugging of wrong answers in lazy functional logic programming. We rely on a logical framework which formalizes both the intended meaning and the execution model of programs in a simple language which combines the expressivity of pure Prolog and a significant subset of Haskell. As novelties w.r.t. to previous related approaches, we deal with functional values both as arguments and as results of higher order functions, we obtain a completely formal specification of the debugging method, and we extend known soundness and completeness results for the debugging of wrong answers in logic programming to a substantially more difficult context. A prototype implementation of a working debugger is planned as future work.
Year
DOI
Venue
2001
10.1007/3-540-44716-4_11
FLOPS
Keywords
Field
DocType
declarative debugging,lazy functional logic programs,lazy functional logic programming,wrong answer,difficult context,completeness result,execution model,logic programming,formal specification,theoretical foundations,debugging method,functional value,functional logic programming,higher order functions,logical framework
Functional logic programming,Programming language,Functional programming,Computer science,Algorithm,Theoretical computer science,Prolog,Haskell,Soundness,Logic programming,Algorithmic program debugging,Debugging
Conference
Volume
ISSN
ISBN
2024
0302-9743
3-540-41739-7
Citations 
PageRank 
References 
22
1.15
11
Authors
3
Name
Order
Citations
PageRank
R. Caballero126218.73
Francisco Javier López-fraguas243625.21
Mario Rodríguez-Artalejo371659.70