4 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.PL2024
Visualizing the Evaluation of Functional Programs for Debugging
John Whitington, Tom Ridge
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 r…
cs.PL2019★ 2 cited
Direct Interpretation of Functional Programs for Debugging
John Whitington, Tom Ridge
We make another assault on the longstanding problem of debugging. After exploring why debuggers are not used as widely as one might expect, especially in functional programming env…
cs.LO2006★ 4 cited
Craig's Interpolation Theorem formalised and mechanised in Isabelle/HOL
Tom Ridge
We formalise and mechanise a construtive, proof theoretic proof of Craig's Interpolation Theorem in Isabelle/HOL. We give all the definitions and lemma statements both formally and…