Paper Info
Title
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program
Abstract
Traditional debugging techniques are not well suited for lazyfunctional programming, because of the difficult-to-predict evaluationorder. Therefore, declarative debugging techniques have been proposed,which allow to focus on the intended meaning of programs, abstractingaway operational concerns. Similar techniques are known also for logicprogramming and for combined functional logic languages. The aim ofthis paper is to provide theoretical foundations for the declarative debugging...
Year
Venue
Keywords
2000
WFLP
logical framework,functional logic programming
Field
DocType
Citations 
Logic program,Programming language,Computer science,Theoretical computer science,Logical framework,Logical schema,Algorithmic program debugging
Conference
0
PageRank 
References 
Authors
0.34
6
3
Name
Order
Citations
PageRank
Rafael Caballero1274.02
Francisco Javier López-fraguas243625.21
Mario Rodríguez-Artalejo371659.70