Title :
A visual Miranda machine
Author :
Auguston, Mikhail ; Reinfelds, Juris
Author_Institution :
Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
Abstract :
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
Keywords :
computer aided software engineering; computer science education; functional languages; functional programming; program debugging; program testing; software tools; visual programming; debugging tool; functional programs; graphic phase; interactive graphic structures; lazy functional programming language; testing; visual Miranda machine; writing; Computer errors; Computer science; Debugging; Functional programming; Graphics; Pattern matching; Programming profession; Testing; Visualization; Writing;
Conference_Titel :
Software Education Conference, 1994. Proceedings.
Conference_Location :
Dunedin
Print_ISBN :
0-8186-5870-3
DOI :
10.1109/SEDC.1994.475337
