Filters








17,436 Hits in 3.1 sec

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming [chapter]

Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda
2007 Lecture Notes in Computer Science  
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]

Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda
2006 Lecture Notes in Computer Science  
[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

Johannes Oetsch, Jörg Pührer, Hans Tompits, Marc Herbstritt
2010 International Conference on Logic Programming  
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

Wolfgang Lux
2008 Electronical Notes in Theoretical Computer Science  
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

Rafael Caballero, Wolfgang Lux
2002 Electronical Notes in Theoretical Computer Science  
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]

Bernd Braßel, Olaf Chitil, Michael Hanus, Frank Huch
2004 Lecture Notes in Computer Science  
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

Bernd Braßel
2009 Electronical Notes in Theoretical Computer Science  
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

Sani
2013 Journal of Computer Science  
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

Rafael del Vado Vírseda
2009 Electronical Notes in Theoretical Computer Science  
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]

Rafael Caballero, Mario Rodríguez-Artalejo
2004 Lecture Notes in Computer Science  
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]

Rafael del Vado Vrseda, Fernando Prez
2012 Semantics - Advances in Theories and Mathematical Models  
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]

David Insa, Josep Silva
2011 Lecture Notes in Computer Science  
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

Rafael Caballero
2005 Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming - WCFLP '05  
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]

Adrián Riesco
2014 Lecture Notes in Computer Science  
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]

Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda
2008 Lecture Notes in Computer Science  
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