A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Filters
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
It is well known that constraint logic and functional-logic programming languages have many advantages, and there is a growing trend to develop and incorporate effective tools to this class of declarative ...
The declarative diagnosis of missing answers is another well-known debugging problem in constraint logic programming [4] . This poster summarizes an approach to this problem in CF LP (D). ...
Declarative programming paradigms such as the CF LP (D) scheme involve complex operational details such as constraint solving, lazy evaluation of possibly higher-order and non-deterministic functions, ...
doi:10.1007/978-3-540-74610-2_29
fatcat:kp3hr5r2wngalashaxahuhspn4
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
[9], constraint logic programming [11, 4] and functional logic programming [2, 3] . ...
Declarative diagnosis was first proposed in the field of logic programming [10], and it has been successfully extended to other declarative programming paradigms, including lazy functional programming ...
[9] , constraint logic programming [11, 4] and functional logic programming [2, 3] . ...
doi:10.1007/11799573_31
fatcat:da7cb2rq7ff4vmjwvles6b5ug4
Methods and Methodologies for Developing Answer-Set Programs - Project Description
2010
International Conference on Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Generally, the focus of research will be on methodologies for systematic program development, program testing, and debugging. ...
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. ...
An interesting concept in this regard is the notion of a DLP-function [Jan09] , having its roots in early work on lp-functions [Gel96] , which, roughly speaking, is a logic program together with an interface ...
doi:10.4230/lipics.iclp.2010.154
dblp:conf/iclp/OetschPT10
fatcat:touc6as53fhorktnafjfeqpdei
Declarative Debugging Meets the World
2008
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Declarative debuggers are usually described and implemented by means of a program transformation. ...
However, this transformation does not mix well with monadic I/O, which is used by lazy functional and functional logic languages. ...
Declarative Debugging In this section we introduce declarative debugging of wrong answers for lazy functional and functional logic languages informally. ...
doi:10.1016/j.entcs.2008.06.034
fatcat:gcguvrwxfzgobj4cssdirjmpze
Declarative Debugging for Encapsulated Search
2002
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We explain in this paper how a declarative debugger of wrong answers for the lazy functional-logic language Curry can be extended to debug programs including the encapsulated search, an important feature ...
Declarative debugging has been proposed as a suitable technique for developing debuggers in the context of declarative languages. ...
Declarative Debugging of Wrong Answers in Lazy Functional-Logic Programs In this section we introduce a declarative debugger of wrong answers for Curry, but still without considering encapsulated search ...
doi:10.1016/s1571-0661(04)80785-0
fatcat:ecgv5aekqbfbletsi5hb4isi7a
Observing Functional Logic Computations
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. ...
COOSy covers all aspects of modern functional logic multiparadigm languages such as lazy evaluation, higher order functions, non-deterministic search, logical variables, concurrency and constraints. ...
The most influential approach to debugging declarative programs is declarative (or algorithmic) debugging. It was originally introduced by Shapiro for logic programming languages [16] . ...
doi:10.1007/978-3-540-24836-1_14
fatcat:y5o7rafdovhnrcgd27xbdh4w6e
A Technique to Build Debugging Tools for Lazy Functional Logic Languages
2009
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper is based on a recently developed technique to build debugging tools for lazy functional programming languages. ...
This paper extends the technique to include also lazy functional logic languages. A debugging tool built with the technique can be downloaded at www-ps.informatik.uni-kiel.de/~bbr. ...
The most influential technique is often called "Algorithmic Debugging" (and sometimes "Declarative Debugging") and was originally developed in the context of logic programming [16] . ...
doi:10.1016/j.entcs.2009.07.014
fatcat:zqdfs4c37rb5djpcairhlnpwhy
DESIGN OF OBJECT-ORIENTED DEBUGGER MODEL BY USING UNIFIED MODELING LANGUAGE
2013
Journal of Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Debugging on computer program is a complex cognitive activity. Although it is complex, it's still one of the popular issues in computer programming task. ...
If the programming logic is incorrect, the program codes will have such error named as logic error and can caused highly maintenance cost. ...
In traditional debugging, there are two ways for debugging logical errors in a Java programs. ...
doi:10.3844/jcssp.2013.16.29
fatcat:jfao4hvzbbgibgijlmqtskvlau
A Logical Framework for Debugging in Declarative Constraint Programming
2009
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our approach extends and combines declarative debugging techniques previously developed for less expressive programming paradigms, namely the CLP (D) scheme and lazy functional logic languages. ...
Debugging ends with the detection of a function rule in the program that is incorrect w.r.t. the intended model. ...
the help in preparing the final version of this paper. ...
doi:10.1016/j.entcs.2009.11.009
fatcat:r6l6ee6wwndynmfwaxnmxeyxri
$\mathcal{DDT}$ : a Declarative Debugging Tool for Functional-Logic Languages
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. ...
We show by means of examples how this flexibility can reduce both the number and the complexity of the questions that the user must consider w.r.t. the usual top-down navigation strategy. ...
functional-logic programming [5, 4, 6] . ...
doi:10.1007/978-3-540-24754-8_7
fatcat:rtbrt3y7kzd4fcecf2srrqkruu
A Semantic Framework for the Declarative Debugging of Wrong and Missing Answers in Declarative Constraint Programming
[chapter]
2012
Semantics - Advances in Theories and Mathematical Models
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Declarative debugging of wrong answers in CFLP(D) In this section, we present the logical and semantic framework of the declarative diagnosis method of wrong answers for CFLP(D) and prove its logical correctness ...
lazy Constraint Functional-Logic Programming which can be instantiated by any constraint domain D given as parameter, and supports a powerful combination of functional and constraint logic programming ...
A Semantic Framework for the Declarative Debugging of Wrong and Missing Answers in Declarative Constraint Programming 23 terminology of Definition 4) and type the command /missing at the system prompt ...
doi:10.5772/37119
fatcat:wo2u3ctotva77avgnr6c4motpe
Scaling Up Algorithmic Debugging with Virtual Execution Trees
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Declarative debugging is a powerful debugging technique that has been adapted to practically all programming languages. ...
With realistic programs the huge size of the execution tree handled makes the debugging session impractical and too slow to be productive. ...
Acknowledgements We thank the anonymous referees of LOPSTR 2010 for providing us with constructive comments and suggestions which contributed to improving the quality of the work. ...
doi:10.1007/978-3-642-20551-4_10
fatcat:zfwx662qanhwnhsgeh5py7luoe
A declarative debugger of incorrect answers for constraint functional-logic programs
2005
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming - WCFLP '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
We present here a graphical debugging environment for constraint lazy functionallogic programs based on declarative debugging. ...
Debugging is one of the essential parts of the software development cycle. ...
Here we present DDT , a graphical declarative debugger of incorrect answers for the constraint lazy functional-logic programming language T OY [1] . ...
doi:10.1145/1085099.1085102
dblp:conf/wcflp/Caballero05
fatcat:v7c7lnmuuffmzjz2pn7v5qtuvy
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We have extended our declarative debugger to deal with this kind of debugging, and we illustrate it with an example. ...
We study in this paper how to modify our declarative debugger to find this kind of errors when defining programming languages using big-step and small-step semantics, two generic approaches that allow ...
depends on the code of the program being debugged. ...
doi:10.1007/978-3-319-07151-0_4
fatcat:66q6tvif2bexfhim7cdbqn6kx4
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
Our approach combines and extends previous work done separately for constraint logic programming and lazy functional programming languages. ...
We present a declarative method for diagnosing missing computed answers in CF LP (D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instantiated by any constraint domain ...
Acknowledgments The authors are grateful to the referees of previous versions of this paper for their constructive comments and suggestions. ...
doi:10.1007/978-3-540-78969-7_22
fatcat:qvcrpuj2krfdlfwxrdz77caxx4
« Previous
Showing results 1 — 15 out of 17,436 results