Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

article · ACM SIGPLAN Notices · 2016

Lightweight computation tree tracing for lazy functional languages

Maarten Faddegon, Olaf Chitil

Cited by 0Abstract and details only

Abstract

A computation tree of a program execution describes computations of functions and their dependencies. A computation tree describes how a program works and is at the heart of algorithmic debugging. To generate a computation tree, existing algorithmic debuggers either use a complex implementation or yield a less informative approximation. We present a method for lazy functional languages that requires only a simple tracing library to generate a detailed computation tree. With our algorithmic debugger a programmer can debug any Haskell program by only importing our library and annotating suspected functions.

Cite this paper

APA 7

Faddegon, M., & Chitil, O. (2016). Lightweight computation tree tracing for lazy functional languages. ACM SIGPLAN Notices, 51(6), 114–128. https://doi.org/10.1145/2980983.2908104

MLA 9

Faddegon, Maarten, and Olaf Chitil. “Lightweight computation tree tracing for lazy functional languages.” ACM SIGPLAN Notices, vol. 51, no. 6, 2016, pp. 114–28, https://doi.org/10.1145/2980983.2908104.

Chicago

Faddegon, Maarten, and Olaf Chitil. 2016. “Lightweight computation tree tracing for lazy functional languages.” ACM SIGPLAN Notices 51 (6): 114–28. https://doi.org/10.1145/2980983.2908104.

Harvard

Faddegon, M. and Chitil, O. (2016) ‘Lightweight computation tree tracing for lazy functional languages’, ACM SIGPLAN Notices, 51(6), pp. 114–128. Available at: https://doi.org/10.1145/2980983.2908104.

BibTeX
@article{faddegon2016lightweight,
  title = {{Lightweight computation tree tracing for lazy functional languages}},
  author = {Faddegon, Maarten and Chitil, Olaf},
  journal = {ACM SIGPLAN Notices},
  volume = {51},
  number = {6},
  pages = {114--128},
  year = {2016},
  doi = {10.1145/2980983.2908104}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers