A visual Miranda machine

Author

Auguston, Mikhail ; Reinfelds, Juris

Author_Institution

Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA

fYear

1994

fDate

22-25 Nov 1994

Firstpage

198

Lastpage

203

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Education Conference, 1994. Proceedings.

Conference_Location

Dunedin

Print_ISBN

0-8186-5870-3

Type

conf

DOI

10.1109/SEDC.1994.475337

Filename

475337

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2398397