WinHIPE: An IDE for Functional Programming Based on Rewriting and Visualization

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 visualizat...

Descripción completa

Detalles Bibliográficos
Autores: Pareja-Flores, Cristóbal, Urquiza-Fuentes, Jaime, Velázquez-Iturbide, J. Ángel
Tipo de recurso: artículo
Fecha de publicación:2007
País:España
Institución:Universidad Rey Juan Carlos
Repositorio:BURJC-Digital. Repositorio Institucional de la Universidad Rey Juan Carlos
OAI Identifier:oai:burjcdigital.urjc.es:10115/5612
Acceso en línea:http://hdl.handle.net/10115/5612
Access Level:acceso abierto
Palabra clave:Functional programming
programming environments
expression evaluation
term rewriting
program animation
tracing
program visualization
1203.23 Lenguajes de Programación
3304.06 Arquitectura de Ordenadores
Descripción
Sumario: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.