Article

A declarative debugger of incorrect answers for constraint functional-logic programs

Author:

Rafael CaballeroAuthors Info & Claims

WCFLP '05: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming

Pages 8 - 13

https://doi.org/10.1145/1085099.1085102

Published: 29 September 2005 Publication History

Get Access

Abstract

Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution often are not suitable for debugging declarative programming languages. We present here a graphical debugging environment for constraint lazy functional-logic programs based on declarative debugging. The debugger displays the computation tree associated with a computation which has produced an incorrect answer, and navigates it with the assistance of the user until the error, an incorrect program rule, is found out. The debugger supports programs including equality and disequality constraints.

References

[1]

M. Abengózar-Carneros et al. Toy: A multiparadigm declarative language. Version 1.0. Technical Report SIP-119/00, Universidad Complutense de Madrid, February 2002.]]

Google Scholar

[2]

R. Caballero and W. Lux. Declarative Debugging of Encapsulated Search. Electronic Notes in Theoretical Computer Science, 76, pages 1--13 2002.]]

Crossref

Google Scholar

[3]

R. Caballero, F. López-Fraguas, and M. Rodríguez-Artalejo. Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. In Proc. FLOPS'01, number 2024 in LNCS, pages 170--184. Springer, 2001.]]

Digital Library

Google Scholar

[4]

R. Caballero and M. Rodríguez-Artalejo. A Declarative Debugging System for Lazy Functional Logic Programs. Electronic Notes in Theoretical Computer Science, 64, 2002.]]

Google Scholar

[5]

R. Caballero and M. Rodríguez-Artalejo. DDT: a Declarative Debugging Tool for Functional-Logic Languages. In Proc. FLOPS'04, number 2998 in LNCS, pages 70--84. Springer, 2004.]]

Google Scholar

[6]

M. Hanus. The Integration of Functions into Logic Programming: A Survey. J. of Logic Programming 19-20. Special issue "Ten Years of Logic Programming", pages 583--628, 1994.]]

Google Scholar

[7]

M. Hanus. Curry: An Integrated Functional Logic Language (version 0.8, April 15, 2003). Available at: http://www.informatik.uni-kiel.de/~mh/curry/+, 2003.]]

Google Scholar

[8]

S. P. Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003.]]

Google Scholar

[9]

F. López-Fraguas, M. Rodríguez-Artalejo, and R. d. Vado-Vírseda. Constraint functional logic programming revisited. In Proc. WRLA'2004, volume 117 of Elec. Notes on Theor. Comp. Science, pages 5--50, 2004.]]

Google Scholar

[10]

H. Nilsson. How to look busy while being lazy as ever: The implementation of a lazy functional debugger. Journal of Functional Programming 11(6), pages 629--671, 2001.]]

Digital Library

Google Scholar

[11]

E. Shapiro. Algorithmic Program Debugging. The MIT Press, 1982.]]

Digital Library

Google Scholar

[12]

P. Wadler. Why no one uses Functional Languages. SIGPLAN Notices 33(8), pages 23--27, 1998.]]

Digital Library

Google Scholar

Cited By

View all

Caballero RRiesco ASilva J(2017)A Survey of Algorithmic DebuggingACM Computing Surveys10.1145/310674050:4(1-35)Online publication date: 30-Aug-2017
https://dl.acm.org/doi/10.1145/3106740
Caballero RMartin-Martin ERiesco ATamarit S(2015)A zoom-declarative debugger for sequential Erlang programsScience of Computer Programming10.1016/j.scico.2015.06.011110:C(104-118)Online publication date: 15-Oct-2015
https://dl.acm.org/doi/10.1016/j.scico.2015.06.011
Insa DSilva J(2015)A Generalized Model for Algorithmic DebuggingRevised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation - Volume 952710.1007/978-3-319-27436-2_16(261-276)Online publication date: 13-Jul-2015
https://dl.acm.org/doi/10.1007/978-3-319-27436-2_16
Show More Cited By

Index Terms

A declarative debugger of incorrect answers for constraint functional-logic programs
1. Human-centered computing
  1. Human computer interaction (HCI)
    1. Interaction paradigms
      1. Graphical user interfaces
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Multiparadigm languages

Recommendations

Declarative Debugging Meets the World

Declarative debugging has been proposed as a suitable technique for diagnosing errors. It is particularly attractive for declarative programming languages, whose operational semantics differs substantially from their declarative semantics. Declarative ...
Declarative diagnosis of wrong answers in constraint functional-logic programming
ICLP'06: Proceedings of the 22nd international conference on Logic Programming

Debugging tools are a practical need for diagnosing the causes of erroneous computations. Declarative programming paradigms involving complex operational details, such as constraint solving and lazy evaluation, do not fit well to traditional debugging ...
A Declarative Debugger for Maude Functional Modules

A declarative debugger for Maude functional modules, which correspond to executable specifications in membership equational logic, is presented. Starting from an incorrect computation, declarative debugging builds a debugging tree as a logical ...

Comments

Information & Contributors

Information

Published In

WCFLP '05: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming

September 2005

78 pages

ISBN:1595930698

DOI:10.1145/1085099

Program Chairs:
Sergio Antoy
Portland State University
,
Michael Hanus
Christian-Albrechts-Universitat Kiel, Germany

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 29 September 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

WCFLP05

Sponsor:

WCFLP05: Workshop on Curry and Functional Logic Programming

September 29, 2005

Tallinn, Estonia

Upcoming Conference

ICFP '25

Sponsor:
sigplan

ACM SIGPLAN International Conference on Functional Programming

October 12 - 18, 2025

Singapore , Singapore

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

31
Total Citations
View Citations
201
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Caballero RRiesco ASilva J(2017)A Survey of Algorithmic DebuggingACM Computing Surveys10.1145/310674050:4(1-35)Online publication date: 30-Aug-2017
https://dl.acm.org/doi/10.1145/3106740
Caballero RMartin-Martin ERiesco ATamarit S(2015)A zoom-declarative debugger for sequential Erlang programsScience of Computer Programming10.1016/j.scico.2015.06.011110:C(104-118)Online publication date: 15-Oct-2015
https://dl.acm.org/doi/10.1016/j.scico.2015.06.011
Insa DSilva J(2015)A Generalized Model for Algorithmic DebuggingRevised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation - Volume 952710.1007/978-3-319-27436-2_16(261-276)Online publication date: 13-Jul-2015
https://dl.acm.org/doi/10.1007/978-3-319-27436-2_16
González JInsa DSilva J(2014)A New Hybrid Debugging Architecture for EclipseLogic-Based Program Synthesis and Transformation10.1007/978-3-319-14125-1_11(183-201)Online publication date: 11-Dec-2014
https://doi.org/10.1007/978-3-319-14125-1_11
Riesco A(2014)Using Big-Step and Small-Step Semantics in Maude to Perform Declarative DebuggingFunctional and Logic Programming10.1007/978-3-319-07151-0_4(52-68)Online publication date: 2014
https://doi.org/10.1007/978-3-319-07151-0_4
Insa DSilva JRiesco A(2013)Speeding Up Algorithmic Debugging Using Balanced Execution TreesTests and Proofs10.1007/978-3-642-38916-0_8(133-151)Online publication date: 2013
https://doi.org/10.1007/978-3-642-38916-0_8
Caballero RMartin-Martin ERiesco ATamarit S(2013)A Declarative Debugger for Sequential Erlang ProgramsTests and Proofs10.1007/978-3-642-38916-0_6(96-114)Online publication date: 2013
https://doi.org/10.1007/978-3-642-38916-0_6
Insa DSilva J(2011)Optimal divide and queryProceedings of the 15th Portugese conference on Progress in artificial intelligence10.5555/2051115.2051138(224-238)Online publication date: 10-Oct-2011
https://dl.acm.org/doi/10.5555/2051115.2051138
Insa DSilva J(2011)An optimal strategy for algorithmic debuggingProceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2011.6100055(203-212)Online publication date: 6-Nov-2011
https://dl.acm.org/doi/10.1109/ASE.2011.6100055
Silva J(2011)A survey on algorithmic debugging strategiesAdvances in Engineering Software10.1016/j.advengsoft.2011.05.02442:11(976-991)Online publication date: 1-Nov-2011
https://dl.acm.org/doi/10.1016/j.advengsoft.2011.05.024
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Declarative Debugging Meets the World

Declarative diagnosis of wrong answers in constraint functional-logic programming

A Declarative Debugger for Maude Functional Modules

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations