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: 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation, PLDI 2015, 13-17 June 2015, Portland, Oregon, USA. (doi:https://doi.org/10.1145/2737924.2737985) (Full text available)

PDF (Published paper with additional appendix.) - Updated Version
Download (245kB) Preview
[img]
Preview
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: Conference or workshop item (Paper)
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: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Olaf Chitil
Date Deposited: 11 Jun 2015 09:04 UTC
Last Modified: 18 Jan 2017 14:05 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/49003 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year