Affiliation:
1. Universidad Complutense de Madrid, Madrid, Spain
2. Universidad Rey Juan Carlos, Móstoles, Madrid, Spain
Abstract
The article describes an IDE for functional programming, called WinHIPE. It provides an interactive and flexible tracer, as well as a powerful visualization and animation system. The former tool is based on the rewriting model of evaluation, and the latter provides automatic generation of visualizations and animations, friendly support for customization, maintenance and exportation of animations to the Web, and facilities to cope with large scale. Its main advantage over other visualization systems is an effortless approach to animation creation and maintenance, based on generating visualizations and animations automatically, as a side effect of program execution. Finally, we briefly describe our experience using the system during several years in educational settings.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference25 articles.
1. DrScheme: a programming environment for Scheme
2. Techniques for simplifying the visualization of graph reduction. In K. Hammond, D. N. Turner, and P. M. Sansom (eds.), Functional Programming;Foubister S. P.;Springer,1995
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Program State Visualizer with User-Defined Representation Conversion (WIP);Proceedings of the 1st ACM International Workshop on Future Debugging Techniques;2023-07-17
2. Direct Interpretation of Functional Programs for Debugging;Electronic Proceedings in Theoretical Computer Science;2019-05-16
3. Theia: automatically generating correct program state visualizations;Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E - SPLASH-E 2019;2019
4. SRec and VAST: Visualizing Software with a Student-Centered Aim;International Journal of Interactive Multimedia and Artificial Intelligence;2015
5. Evaluating Haskell expressions in a tutoring environment;Electronic Proceedings in Theoretical Computer Science;2014-12-12