WinHIPE: An IDE for functional programming based on rewriting and visualization

ACM SIGPLAN Notices

Volumn 42, Issue 3, 2007, Pages 14-23

  Pareja Flores, Cristóbal ^a   Urquiza Fuentes, Jaime ^b   Velázquez Iturbide, J Ángel ^b  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

^b UNIVERSIDAD REY JUAN CARLOS   (Spain)

Author keywords

Expression evaluation; Functional programming; Program animation; Program visualization; Programming environments; Term rewriting; Tracing

Indexed keywords

EXPRESSION EVALUATION; PROGRAM ANIMATION; PROGRAM VISUALIZATION; PROGRAMMING ENVIRONMENTS; TERM REWRITING; TRACING;

ANIMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; INTEGRODIFFERENTIAL EQUATIONS; MAINTENANCE; VISUALIZATION;

FUNCTIONAL PROGRAMMING;

EID: 41549166607     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (26)

1. Auguston, M. and Reinfelds, J. A Visual Miranda Machine. In Proc. of the Software Education Conference (SRITET'94), 1994, 198-203.
2. th International Symposium, PADL 2004, Springer-Verlag, LNCS 3057, 2004, 193-208.
3. Findler, R.B. DrScheme: A programming environment for Scheme, Journal of Functional Programming, 12(2), 2002, 159-182.
4. Foubister, S.P. and Runciman, C. Techniques for simplifying the visualization of graph reduction. In K. Hammond, D.N. Turner, and P.M. Sansom (eds.), Functional Programming, Springer, 1995, 65-77.
5. Gill, A. Debugging Haskell by observing intermediate data structures. In G. Hutton (ed.), Proc. of the 2000 ACM SIGPLAN Haskell Workshop, ENTCS 41, Elsevier, 2000.
6. Hanus, M. and Koj, J. Cider: An integrated development environment for Curry. In Functional and (Constraint) Logic Programming, WFPL 2001, Christian-Albrechts-Universitt zu Kiel, Report No. 2017, 2001, 369-373.
7. Kawaguchi, N., Sakabe, T. and Inagaki, Y. Terse: Term rewriting support environment. In Proc. of the 1994 ACM SIGPLAN Workshop on Standard ML and its Applications, ACM Press, 1994, 91-100.
8. st Program Visualization Workshop, University of Joensuu, Finland, 2001, 1-12.
9. rd edition, 1997
10. Lieberman, H. and Fry, C. ZStep95: A reversible, animated source code stepper. In J. T. Stasko, J. Domingue, M. H. Brown, and B. A. Price (eds.), Software Visualization, MIT Press, 1998, 277-292.
11. Medina-Sánchez, M.A., Lázaro-Carrascosa, C.A., Pareja-Flores, C., Urquiza-Fuentes, J. and Velázquez-Iturbide, J.A. Empirical evaluation of usability of animations in a functional programming environment, Universidad Complutense de Madrid, Technical Report 141/04, 2004.
12. Nilsson, H. and Sparud, J. The evaluation dependence tree as a basis for lazy functional debugging, Automated Software Engineering, 4(2), 1997, 121-150.
13. Pareja-Flores, C., Peña, R., Rubio, C. and Segura, C. Adding traces to a lazy monadic evaluator. In Computer Aided Systems Theory - EUROCAST 2001, Springer-Verlag, LNCS 2178, 2001, 627-641.
14. Oudshorn, M.J., Widjaja, H.and Ellershaw, S.K. Aspects and taxonomy of program visualisation. In P. Eades and K. Zhang (eds.), Software Visualisation. World Scientific Publishing, 1996, 3-26.
15. Pope, B. Buddha: A Declarative Debugger for Haskell. PhD thesis, Department of Computer Science, The University of Melbourne, Australia, 1998.
16. Reinke, C. GHood: Graphical visualisation and animation of Haskell object observations. In R. Hinze (ed.), Proc. of the 2001 ACM SIGPLAN Haskell Workshop, volume 59 of ENTCS, Elsevier, 2001, 121-149.
17. th Intl. Symp. on Programming Languages, Implementations, Logics and Programs (PLILP'97), Springer-Verlag, LNCS 1292, 1997, 291-308.
18. Taylor, J.P. Presenting the evaluation of lazy functions. PhD thesis, Department of Computer Science, Queen Mary University of London and Westfield College, UK, 1995.
19. Urquiza-Fuentes, J. and Velázquez-Iturbide, J.á. Effortless construction and management of program animations on the Web. In R.W.H. Lau, Q. Li, R. Cheung and W. Liu (eds.), Advances in Web-Based Learning - ICWL 2005, Springer-Verlag, LNCS 3583, 2005, 163-173.
20. th Program Visualization Workshop (PVW 2006), 2006, 29-33.
21. Urquiza-Fuentes, J. Velázquez-Iturbide, J.á. and Lázaro- Carrascosa, C. Design and evaluation of R-Zoom, a new focus+context visualization technique. In Proc. of the VII Congreso Internacional de Interacción Persona-Ordenador (INTERACCIóN 2006), 2006, 79-88.
22. Velázquez-Iturbide, J.á. Improving functional programming environments for education. In M.D. Brouwer-Janse and T.L. Harrington (eds.), Man-Machine Communication for Educational Systems Design, Springer-Verlag, 1994, 325-332.
23. Velázquez-Iturbide, J.á. A programming languages course for freshmen. In Proc. of the 10th Annual Conference on Innovation and Technology in Computer Science Education, ACM Press, 2005, 271-275.
24. Velázquez-Iturbide, J.á. Principled design of logical fisheye views of functional expressions, ACM SIGPLAN Notices, 41(8), 2006, 34-43.
25. Velázquez-Iturbide, J.á., Pareja-Flores, C. and Urquiza- Fuentes, J. An approach to effortless construction of program animations, Computers & Education, in press.
26. Watson, R. and Salzman, E. A trace browser for a lazy functional language. In Proc. of the 20th Australian Computer Science Conference, 1997, 356-36