A visual Miranda machine
Mikhail Auguston, Juris Reinfelds · 2002
This paper describes a visualization and debugging tool for the lazy functional programming language Miranda. Our tool helps students and programmers with the writing, testing, and debugging of functional programs. The tool has two parts. The text phase constructs the execution trace of the outer reduction evaluation of a Miranda expression and presents it to the user as a sequence of text lines. The graphic phase condenses and encapsulates the text into interactive graphic structures, permitting the user to choose what degree of detail to show in the visualization.>