The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The Evaluation Dependence Tree as a Basis for Lazy FunctionalDebugging
Automated Software Engineering
Tracing Lazy Functional Computations Using Redex Trails
PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
DrScheme: a programming environment for Scheme
Journal of Functional Programming
A programming languages course for freshmen
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Principled design of logical fisheye views of functional expressions
ACM SIGPLAN Notices
Effortless construction and management of program animations on the web
ICWL'05 Proceedings of the 4th international conference on Advances in Web-Based Learning
A gentle introduction to mutual recursion
Proceedings of the 13th annual conference on Innovation and technology in computer science education
Dynamic Evaluation Tree for Presenting Expression Evaluations Visually
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Seamless Merging of Hypertext and Algorithm Animation
Electronic Notes in Theoretical Computer Science (ENTCS)
A Survey of Successful Evaluations of Program Visualization and Algorithm Animation Systems
ACM Transactions on Computing Education (TOCE) - Special Issue on the 5th Program Visualization Workshop (PVW’08)
Pedagogically effective effortless algorithm visualization with a PCIL
FIE'09 Proceedings of the 39th IEEE international conference on Frontiers in education conference
Tail recursive programming by applying generalization
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education
Jype - a program visualization and programming exercise tool for Python
Proceedings of the 5th international symposium on Software visualization
An instructor's guide to design web-based algorithm animations
ICWL'07 Proceedings of the 6th international conference on Advances in web based learning
Comparing the effectiveness of different educational uses of program animations
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
Proceedings of the 12th Koli Calling International Conference on Computing Education Research
A Review of Generic Program Visualization Systems for Introductory Programming Education
ACM Transactions on Computing Education (TOCE)
Drawing and understanding recursive functions
Journal of Computing Sciences in Colleges
Hi-index | 0.00 |
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.