DROPS

Document

DOI: 10.4230/OASIcs.SLATE.2017.7

Visualizing the Evaluation of Functional Programs for Debugging

Authors: John Whitington and Tom Ridge

Published in: OASIcs, Volume 56, 6th Symposium on Languages, Applications and Technologies (SLATE 2017)

Abstract

In this position paper, we present a prototype of a visualizer for functional programs. Such programs, whose evaluation model is the reduction of an expression to a value through repeated application of rewriting rules, and which tend to make little or no use of mutable state, are amenable to visualization in the same fashion as simple mathematical expressions, with which every schoolchild is familiar. We show how such visualizations may be produced for the strict functional language OCaml, by direct interpretation of the abstract syntax tree and appropriate pretty-printing. We describe (and begin to address) the challenges of presenting such program traces in limited space and of identifying their essential elements, so that our methods will one day be practical for more than toy programs. We consider the problems posed by the parts of modern functional programming which are not purely functional such as mutable state, input/output and exceptions. We describe initial work on the use of such visualizations to address the problem of program debugging, which is our ultimate aim.

Cite as

John Whitington and Tom Ridge. Visualizing the Evaluation of Functional Programs for Debugging. In 6th Symposium on Languages, Applications and Technologies (SLATE 2017). Open Access Series in Informatics (OASIcs), Volume 56, pp. 7:1-7:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{whitington_et_al:OASIcs.SLATE.2017.7,
  author =	{Whitington, John and Ridge, Tom},
  title =	{{Visualizing the Evaluation of Functional Programs for Debugging}},
  booktitle =	{6th Symposium on Languages, Applications and Technologies (SLATE 2017)},
  pages =	{7:1--7:9},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-056-9},
  ISSN =	{2190-6807},
  year =	{2017},
  volume =	{56},
  editor =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Leal, Jos\'{e} Paulo and Varanda, Maria Jo\~{a}o},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2017.7},
  URN =		{urn:nbn:de:0030-drops-79420},
  doi =		{10.4230/OASIcs.SLATE.2017.7},
  annote =	{Keywords: Debugging, Functional, Visualization, OCaml}
}

Search Results

Documents authored by Ridge, Tom

Visualizing the Evaluation of Functional Programs for Debugging

Abstract

Cite as

Thanks for your feedback!

Could not send message