Skip to main content
Kent Academic Repository

Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack

Faddegon, Maarten and Chitil, Olaf (2015) Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 33-42. ISBN 978-1-4503-3468-6. (doi:10.1145/2737924.2737985) (KAR id:49003)

PDF (Published paper with additional appendix.) Updated Version
Language: English
Download this file
(PDF/363kB)
[thumbnail of Published paper with additional appendix.]
Preview
Request a format suitable for use with assistive technology e.g. a screenreader
Official URL:
http://dx.doi.org/10.1145/2737924.2737985

Abstract

Existing algorithmic debuggers for Haskell require a transformation of all modules in a program, even libraries that the user does not want to debug and which may use language features not supported by the debugger. This is a pity, because a promising ap- proach to debugging is therefore not applicable to many real-world programs. We use the cost centre stack from the Glasgow Haskell Compiler profiling environment together with runtime value observations as provided by the Haskell Object Observation Debugger (HOOD) to collect enough information for algorithmic debugging. Program annotations are in suspected modules only. With this technique algorithmic debugging is applicable to a much larger set of Haskell programs. This demonstrates that for functional languages in general a simple stack trace extension is useful to support tasks such as profiling and debugging.

Item Type: Book section
DOI/Identification number: 10.1145/2737924.2737985
Uncontrolled keywords: testing, debugging, tracing, algorithmic debugging, lazy evaluation, Haskell
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Olaf Chitil
Date Deposited: 11 Jun 2015 09:04 UTC
Last Modified: 08 Dec 2022 12:32 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/49003 (The current URI for this page, for reference purposes)

University of Kent Author Information

Faddegon, Maarten.

Creator's ORCID:
CReDIT Contributor Roles:

Chitil, Olaf.

Creator's ORCID: https://orcid.org/0000-0001-7986-9929
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.