Filters








1,806 Hits in 6.1 sec

A Technique to Build Debugging Tools for Lazy Functional Logic Languages

Bernd Braßel
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
This paper is based on a recently developed technique to build debugging tools for lazy functional programming languages.  ...  The technique has already been successfully employed to construct a debugger for lazy functional languages. This paper extends the technique to include also lazy functional logic languages.  ...  This technique has first been developed to build a debugger for lazy functional languages [8] . This work describes the extension to the broader setting of functional logic languages.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.07.014">doi:10.1016/j.entcs.2009.07.014</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zqdfs4c37rb5djpcairhlnpwhy">fatcat:zqdfs4c37rb5djpcairhlnpwhy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170926032432/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/360/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwOTAwMjM2OQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/f3/a8f3cb4e8bdf86855644bc3366d3135d7f5ed492.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.07.014"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

A Framework for Interpreting Traces of Functional Logic Computations

Bernd Braßel
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
This paper is part of a comprehensive approach to debugging for functional logic languages.  ...  Using this interface, formulating the basic functionality of declarative debugging, for example, is a matter of a few lines.  ...  [26] for logic, [22, 23] for functional, [10] for functional logic programming), observations for lazy languages (cf.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2007.01.006">doi:10.1016/j.entcs.2007.01.006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6g7k6snunbfblkgdq54c5dvuuq">fatcat:6g7k6snunbfblkgdq54c5dvuuq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190329033719/https://core.ac.uk/download/pdf/82396535.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8b/ee/8bee8c8f9496d7528710d33d4375417ebc2b3aba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2007.01.006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

HsDebug

Robert Ennals, Simon Peyton Jones
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7v65k6c67beuveqr6z2ryoy2n4" style="color: black;">Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell &#39;03</a> </i> &nbsp;
Failing to Debug Lazy Programs What happens if we try using this style of debugging for a lazy functional language such as Haskell [13] ?  ...  We present two alterations to the evaluation model of lazy functional languages that allow conventional debugging techniques to be successfully applied.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/871895.871904">doi:10.1145/871895.871904</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/haskell/EnnalsJ03.html">dblp:conf/haskell/EnnalsJ03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5q347twr4fa2xckjajk7lqewc4">fatcat:5q347twr4fa2xckjajk7lqewc4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040920164224/http://www.cambridge.intel-research.net:80/~rennals/hw2003.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e1/df/e1dfe4d758a3193d9ff5eebfd2e6bf11e0653c53.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/871895.871904"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

$\mathcal{DDT}$ : a Declarative Debugging Tool for Functional-Logic Languages [chapter]

Rafael Caballero, Mario Rodríguez-Artalejo
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages.  ...  The tool, integrated in the system T OY, can be used to navigate a computation tree corresponding to some erroneous computation.  ...  Acknowledgements The authors are grateful to Wolfgang Lux and Francisco J. López-Fraguas for their useful comments about the paper, as well as to the anonymous referees for their constructive remarks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24754-8_7">doi:10.1007/978-3-540-24754-8_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rtbrt3y7kzd4fcecf2srrqkruu">fatcat:rtbrt3y7kzd4fcecf2srrqkruu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809042802/http://gpd.sip.ucm.es/rafa/papers/flops04.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ff/3d/ff3d5527f44ff881818bc11888024cda11a53a3c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24754-8_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Declarative Debugging for Encapsulated Search

Rafael Caballero, Wolfgang Lux
<span title="">2002</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
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.  ...  All examples are presented in the syntax of the lazy functional-logic language Curry (see [Han00] for a complete description).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80785-0">doi:10.1016/s1571-0661(04)80785-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ecgv5aekqbfbletsi5hb4isi7a">fatcat:ecgv5aekqbfbletsi5hb4isi7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171003221036/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/d39/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwNDgwNzg1MA%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a1/4b/a14b4ecc3acaf646374f6ac2043a48137423abe2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80785-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

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

Rafael Caballero, Mario Rodríguez Artalejo, Rafael del Vado Vírseda
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-78969-7_22">doi:10.1007/978-3-540-78969-7_22</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qvcrpuj2krfdlfwxrdz77caxx4">fatcat:qvcrpuj2krfdlfwxrdz77caxx4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20091218235702/http://gpd.sip.ucm.es/rafa/papers/flops08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3b/de/3bde40696bce296fb0eabd15e12a741f64c26cd8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-78969-7_22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Dynamic slicing based on redex trails

Claudio Ochoa, Josep Silva, Germán Vidal
<span title="">2004</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4inzarpn6bccxa4a445nlydsbi" style="color: black;">Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM &#39;04</a> </i> &nbsp;
In this work, we introduce a novel technique for dynamic slicing in lazy functional logic languages. Rather than starting from scratch, our technique relies on (a slight extension of) redex trails.  ...  A well-known debugging technique for imperative programs is based on dynamic slicing, a method to find the program statements that influence the computation of a value for a specific program input.  ...  This motivates the need for powerful tools for debugging and program understanding in lazy functional (logic) languages.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1014007.1014020">doi:10.1145/1014007.1014020</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pepm/OchoaSV04.html">dblp:conf/pepm/OchoaSV04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dszigvnrcbfgphrkf4myx5h5km">fatcat:dszigvnrcbfgphrkf4myx5h5km</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809061750/http://users.dsic.upv.es/grupos/elp/german/pepm04/paper.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ef/33/ef33aa3f7241da4b97ba2983fd440509537129dd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1014007.1014020"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Survey of Algorithmic Debugging

Rafael Caballero, Adrián Riesco, Josep Silva
<span title="2017-08-30">2017</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eiea26iqqjcatatlgxdpzt637y" style="color: black;">ACM Computing Surveys</a> </i> &nbsp;
Algorithmic debugging is a technique proposed in 1982 by E.Y. Shapiro in the context of logic programming.  ...  This survey shows how the initial ideas have been developed to become a widespread debugging schema fitting many different programming paradigms, and with applications out of the program debugging field  ...  Naveso Cranford for a detailed English revision, and to the anonymous referees for their constructive criticism and suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3106740">doi:10.1145/3106740</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4wkixlg3ivb27pngnqpy3f6v44">fatcat:4wkixlg3ivb27pngnqpy3f6v44</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210427111322/https://riunet.upv.es/bitstream/handle/10251/151050/Caballero;jsessionid=F5056789304BC04D69034C13449A8855?sequence=3" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fd/92/fd9277522b31717b83143893e8a198a0ab0346e2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3106740"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Tracing piece by piece

Henrik Nilsson
<span title="">1999</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP &#39;99</a> </i> &nbsp;
Dealing with these performance issues is thus the key to practical, general purpose debuggers for lazy functional languages.  ...  The advantage of lazy functional languages is that programs may be written declaratively without specifying the exact evaluation order.  ...  This is true in particular for the lazy functional languages.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/317636.317782">doi:10.1145/317636.317782</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/Nilsson99.html">dblp:conf/icfp/Nilsson99</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/em3ds4qbkze77e7fk3qlqv4fle">fatcat:em3ds4qbkze77e7fk3qlqv4fle</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706050837/http://www.cs.nott.ac.uk/%7Epsznhn/Publications/icfp1999.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c6/47/c647809f2aef6b9ca228c6cb20c6ae774f577d92.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/317636.317782"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Tracing piece by piece

Henrik Nilsson
<span title="1999-09-01">1999</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
Dealing with these performance issues is thus the key to practical, general purpose debuggers for lazy functional languages.  ...  The advantage of lazy functional languages is that programs may be written declaratively without specifying the exact evaluation order.  ...  This is true in particular for the lazy functional languages.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/317765.317782">doi:10.1145/317765.317782</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ois5by3g4vbkdd6ykgmmj3f2vm">fatcat:ois5by3g4vbkdd6ykgmmj3f2vm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706050837/http://www.cs.nott.ac.uk/%7Epsznhn/Publications/icfp1999.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c6/47/c647809f2aef6b9ca228c6cb20c6ae774f577d92.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/317765.317782"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A semantics for tracing declarative multi-paradigm programs

B. Brassel, M. Hanus, F. Huch, G. Vidal
<span title="">2004</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP &#39;04</a> </i> &nbsp;
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry.  ...  Tracing computations is a difficult task due to the subtleties of the underlying operational semantics which combines laziness and non-determinism.  ...  Acknowledgments We would like to thank Santiago Escobar for many helpful comments and discussions on an earlier version of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1013963.1013984">doi:10.1145/1013963.1013984</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/BrasselHHV04.html">dblp:conf/ppdp/BrasselHHV04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o6yzgdowyjcenm7uqho5ku5f7a">fatcat:o6yzgdowyjcenm7uqho5ku5f7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060925174259/http://www.informatik.uni-kiel.de/%7Emh/publications/papers/PPDP04.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ba/08/ba085f760fe3594bba290258253ff71ba5b35141.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1013963.1013984"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

An Embedded Language Approach to Router Specification in Curry [chapter]

J. Guadalupe Ramos, Josep Silva, Germán Vidal
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
It includes a specification language with features for declaring and connecting router elements and for designing abstractions.  ...  Recently, a modular architecture and toolkit for building software routers and other packet processors has been introduced: the Click system.  ...  Acknowledgments We would like to thank Eddie Kohler for useful comments and suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24618-3_24">doi:10.1007/978-3-540-24618-3_24</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xqzfdkxgjfei5k5632vtxfuj3a">fatcat:xqzfdkxgjfei5k5632vtxfuj3a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050311174743/http://www.dsic.upv.es:80/users/elp/german/sofsem04/paper.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4c/a7/4ca78299b23679b2d0d51421244996f667bdff62.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24618-3_24"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Logical Framework for Debugging in Declarative Constraint Programming

Rafael del Vado Vírseda
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
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.  ...  We present a logical and semantic framework for diagnosing wrong computed answers in CF LP (D), a newly proposed generic scheme for lazy Constraint Functional Logic Programming which can be instantiated  ...  Acknowledgement The author is thankful to Mario Rodríguez Artalejo and Rafael Caballero for their collaboration, comments and contributions during the first stages of the development of this work and for  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.11.009">doi:10.1016/j.entcs.2009.11.009</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r6l6ee6wwndynmfwaxnmxeyxri">fatcat:r6l6ee6wwndynmfwaxnmxeyxri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170925193818/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/2f3/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwOTAwNDU5OQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a9/be/a9be0fb4f2243dd6b5f045235b5aa1fe4a85823b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.11.009"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees [chapter]

Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Declarative debugging is a debugging technique that abstracts the execution details that in general may be difficult to follow in declarative languages to focus on results.  ...  In this paper we present a transformation for debugging trees for Maude specifications that ensures that any subterm occurring in a question has been previously replaced by the most reduced form that it  ...  This idea was implemented in Buddha [13] , a declarative debugger for Haskell, and in the declarative debugger of the functional-logic language Toy [3] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-32211-2_6">doi:10.1007/978-3-642-32211-2_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g2idh2xb5jh2vcgiel7b4yae5e">fatcat:g2idh2xb5jh2vcgiel7b4yae5e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130614033604/http://maude.sip.ucm.es/alberto-verdejo/papers/lopstr11.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/13/8a/138ae64ce5f36aa39390fbdacbad6a42c3f1f5e7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-32211-2_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Practical aspects of declarative debugging in Haskell 98

Bernard Pope, Lee Naish
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP &#39;03</a> </i> &nbsp;
This style of debugging is called declarative debugging, and it originated in logic programming languages.  ...  The traditional debugging technique of examining the program execution step-by-step, popular with imperative languages, is less suitable for Haskell because its unorthodox evaluation strategy is difficult  ...  Purely functional languages, along with logic languages, are said to be declarative.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/888251.888273">doi:10.1145/888251.888273</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/PopeN03.html">dblp:conf/ppdp/PopeN03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yoyz5zy4yjhlfhasmhm34x6ovi">fatcat:yoyz5zy4yjhlfhasmhm34x6ovi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070830170333/http://www.cs.mu.oz.au/~bjpop/papers/Pope.PhD.Thesis.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d6/10/d61089444c699dcb6b94a72ec455690658d6b81c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/888251.888273"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,806 results