Article

Combining algorithmic debugging and program slicing

Authors:

Olaf ChitilAuthors Info & Claims

PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming

Pages 157 - 166

https://doi.org/10.1145/1140335.1140355

Published: 10 July 2006 Publication History

Abstract

Currently, program slicing and algorithmic debugging are two of the most relevant debugging techniques for declarative languages. They help programmers to find bugs in a semiautomatic manner. On the one hand, program slicing is a technique to extract those program fragments that (potentially) affect the values computed at some point of interest. On the other hand, algorithmic debugging is able to locate a bug by automatically generating a series of questions and processing the programmer's answers. In this work, we show for functional languages how the combination of both techniques produces a more powerful debugging schema that reduces the number of questions that programmers must answer to locate a bug

References

[1]

Citeseer: The NECI Scientific Literature Digital Library. Accessed on March 27th 2006. URL: http://citeseer.ist.psu.edu.

[2]

O. Chitil. Source-Based Trace Exploration. In 16th Int'l Workshop on Implementation of Functional Languages (IFL 2004). Springer LNCS, 2005.

Digital Library

[3]

O. Chitil and Y. Luo. Proving the Correctness of Declarative Debugging for Functional Programs. In Trends in Functional Programming (TFP 2006), 2006.

[4]

O. Chitil and Y. Luo. Towards a Theory of Tracing for Functional Programs Based on Graph Rewriting. In TERMGRAPH 2006, 2006.

[5]

The ACM Digital Library. Association for Computing Machinery. Accessed on March 27th 2006. URL: http://portal.acm.org.

[6]

J. Ferrante, K.J. Ottenstein, and J.D. Warren. The Program Dependence Graph and Its Use in Optimization. ACM Transactions on Programming Languages and Systems, 9(3):319--349, 1987.

Digital Library

[7]

Peter Fritzson, Nahid Shahmehri, Mariam Kamkar, and Tibor Gyimóthy. Generalized Algorithmic Debugging and Testing. LOPLAS, 1(4):303--322, 1992.

Digital Library

[8]

Daniel Jackson and Eugene~J. Rollins. Chopping: A generalization of slicing. Technical Report CS-94-169, 1994.

Digital Library

[9]

Gabriella Kokai, L Harmath, and Tibor Gyimothy. Algorithmic debugging and testing of prolog programs. In Workshop on Logic Programming Environments, pages 14--21, 1997.

[10]

B. Korel and J. Laski. Dynamic Program Slicing. Information Processing Letters, 29(3):155--163, 1988.

Digital Library

[11]

I. MacLarty. Practical Declarative Debugging of Mercury Programs. PhD thesis, Department of Computer Science and Software Engineering, The University of Melbourne, 2005.

[12]

Lee Naish. A Declarative Debugging Scheme. Journal of Functional and Logic Programming, 1997(3), 1997.

[13]

Lee Naish. A three-valued declarative debugging scheme. In Workshop on Logic Programming Environments, pages 1--12, 1997.

[14]

H. Nilsson and P. Fritzson. Algorithmic Debugging for Lazy Functional Languages. Journal of Functional Programming, 4(3):337--370, 1994.

[15]

Henrik Nilsson. Declarative Debugging for Lazy Functional Languages. PhD thesis, Linköping, Sweden, May 1998.

[16]

C. Ochoa, J. Silva, and G. Vidal. Dynamic Slicing Based on Redex Trails. In Proc. of the ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), pages 123--134. ACM Press, 2004.

Digital Library

[17]

J. Paakki, T. Gyimóthy, and T. Horváth. Effective algorithmic debugging for inductive logic programming. volume 237 of GMD-Studien, pages 175--194. Gesellschaft für Mathematik und Datenverarbeitung MBH, 1994.

[18]

L. M. Pereira. Rational Debugging in Logic Programming. In Proceedings on Third international conference on logic programming, pages 203--210, New York, NY, USA, 1986. Springer-Verlag New York, Inc.

Digital Library

[19]

S. L. Peyton-Jones, editor. Haskell 98 Language and Libraries : The Revised Report. Cambridge University Press, 2003.

[20]

E.Y. Shapiro. Algorithmic Program Debugging. MIT Press, 1983.

Digital Library

[21]

J. Sparud and C. Runciman. Tracing Lazy Functional Computations Using Redex Trails. In Proc. of the 9th Int'l Symp. on Programming Languages, Implementations, Logics and Programs (PLILP'97), pages 291--308. Springer LNCS 1292, 1997.

Digital Library

[22]

M. Wallace, O. Chitil, T. Brehm, and C. Runciman. Multiple-View Tracing for Haskell: a New Hat. In Proc. of the 2001 ACM SIGPLAN Haskell Workshop. Universiteit Utrecht UU-CS-2001-23, 2001.

[23]

M.D. Weiser. Program Slicing. IEEE Transactions on Software Engineering, 10(4):352--357, 1984.

Digital Library

Cited By

Baniyounis MMesmar A(2019)Combining Program Slicing and Algorithmic Debugging to Diagnose a PLC program2019 16th International Multi-Conference on Systems, Signals & Devices (SSD)10.1109/SSD.2019.8893276(246-249)Online publication date: Mar-2019
https://doi.org/10.1109/SSD.2019.8893276
Silva J(2018)A survey on algorithmic debugging strategiesAdvances in Engineering Software10.1016/j.advengsoft.2011.05.02442:11(976-991)Online publication date: 31-Dec-2018
https://dl.acm.org/doi/10.1016/j.advengsoft.2011.05.024
Ricciotti WStolarek JPerera RCheney J(2017)Imperative functional programs that explain their workProceedings of the ACM on Programming Languages10.1145/31102581:ICFP(1-28)Online publication date: 29-Aug-2017
https://dl.acm.org/doi/10.1145/3110258
Show More Cited By

Index Terms

Combining algorithmic debugging and program slicing
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
2. Theory of computation

Recommendations

Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging

There is no doubt about the relevance of debugging in the software development process. However, the scientific community has put little attention on this task and the same debugging techniques used twenty years ago are still being used today. The ...
Generalized algorithmic debugging and testing

This paper presents a method for semi-automatic bug localization, generalized algorithmic debugging, which has been integrated with the category partition method for functional testing. In this way the efficiency of the algorithmic debugging method for ...
Implementation of an Optimal Strategy for Algorithmic Debugging

One of the most automatic debugging techniques is Algorithmic Debugging because it allows us to debug a program without the need to inspect the source code. In order to find a bug, an algorithmic debugger asks questions to the programmer about the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming

July 2006

280 pages

ISBN:1595933883

DOI:10.1145/1140335

General Chair:
Annalisa Bossi
Università Ca' Foscari di Venezia, Italy
,
Program Chair:
Michael Maher
National ICT Australia & University of New South Wales, Australia

Copyright © 2006 ACM.

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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 July 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

PPDP06

Sponsor:

PPDP06: Principles and Practice of Declarative Programming

July 10 - 12, 2006

Venice, Italy

Acceptance Rates

Overall Acceptance Rate 230 of 486 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
331
Total Downloads

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

Reflects downloads up to 19 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Baniyounis MMesmar A(2019)Combining Program Slicing and Algorithmic Debugging to Diagnose a PLC program2019 16th International Multi-Conference on Systems, Signals & Devices (SSD)10.1109/SSD.2019.8893276(246-249)Online publication date: Mar-2019
https://doi.org/10.1109/SSD.2019.8893276
Silva J(2018)A survey on algorithmic debugging strategiesAdvances in Engineering Software10.1016/j.advengsoft.2011.05.02442:11(976-991)Online publication date: 31-Dec-2018
https://dl.acm.org/doi/10.1016/j.advengsoft.2011.05.024
Ricciotti WStolarek JPerera RCheney J(2017)Imperative functional programs that explain their workProceedings of the ACM on Programming Languages10.1145/31102581:ICFP(1-28)Online publication date: 29-Aug-2017
https://dl.acm.org/doi/10.1145/3110258
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
Rahli VWells JPirie JKamareddine F(2017)SkalpelJournal of Symbolic Computation10.1016/j.jsc.2016.07.01380:P1(164-208)Online publication date: 1-May-2017
https://dl.acm.org/doi/10.1016/j.jsc.2016.07.013
Chitil OFaddegon MRunciman CSchrijvers T(2016)A Lightweight HatProceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages10.1145/3064899.3064904(1-14)Online publication date: 31-Aug-2016
https://dl.acm.org/doi/10.1145/3064899.3064904
Xie XLiu ZSong SChen ZXuan JXu BDillon LVisser WWilliams L(2016)Revisit of automatic debugging via human focus-tracking analysisProceedings of the 38th International Conference on Software Engineering10.1145/2884781.2884834(808-819)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2884781.2884834
Asăvoae IAsăvoae MRiesco A(2014)Towards a Formal Semantics-Based Technique for Interprocedural SlicingIntegrated Formal Methods10.1007/978-3-319-10181-1_18(291-306)Online publication date: 2014
https://doi.org/10.1007/978-3-319-10181-1_18
Tsushima KAsai K(2013)An Embedded Type DebuggerImplementation and Application of Functional Languages10.1007/978-3-642-41582-1_12(190-206)Online publication date: 16-Nov-2013
https://doi.org/10.1007/978-3-642-41582-1_12
Riesco AAsăvoae IAsăvoae M(2013)A Generic Program Slicing Technique Based on Language DefinitionsRecent Trends in Algebraic Development Techniques10.1007/978-3-642-37635-1_15(248-264)Online publication date: 2013
https://doi.org/10.1007/978-3-642-37635-1_15
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.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten