{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T20:29:14Z","timestamp":1693859354549},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGPLAN Not."],"published-print":{"date-parts":[[2007,3]]},"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.<\/jats:p>","DOI":"10.1145\/1273039.1273042","type":"journal-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T13:44:55Z","timestamp":1189777495000},"page":"14-23","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["WinHIPE"],"prefix":"10.1145","volume":"42","author":[{"given":"Crist\u00f3bal","family":"Pareja-Flores","sequence":"first","affiliation":[{"name":"Universidad Complutense de Madrid, Madrid, Spain"}]},{"given":"Jamie","family":"Urquiza-Fuentes","sequence":"additional","affiliation":[{"name":"Universidad Rey Juan Carlos, M\u00f3stoles, Madrid, Spain"}]},{"given":"J. \u00c1ngel","family":"Vel\u00e1zquez-Iturbide","sequence":"additional","affiliation":[{"name":"Universidad Rey Juan Carlos, M\u00f3stoles, Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[2007,3]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proc. of the Software Education Conference (SRITET'94)","author":"Auguston M.","year":"1994","unstructured":"Auguston , M. and Reinfelds , J . A Visual Miranda Machine . In Proc. of the Software Education Conference (SRITET'94) , 1994 , 198--203. Auguston, M. and Reinfelds, J. A Visual Miranda Machine. In Proc. of the Software Education Conference (SRITET'94), 1994, 198--203."},{"key":"e_1_2_1_2_1","volume-title":"Proc. of the 6th International Symposium, PADL 2004","author":"Bra\u00dfel B.","year":"2004","unstructured":"Bra\u00dfel , B. , Chitil , O. Hanus , M. and Huch , F . Observing Functional Logic Computations. In B. Jayaraman (ed.) , Proc. of the 6th International Symposium, PADL 2004 , Springer-Verlag, LNCS 3057 , 2004 , 193--208. Bra\u00dfel, B., Chitil, O. Hanus, M. and Huch, F. Observing Functional Logic Computations. In B. Jayaraman (ed.), Proc. of the 6th International Symposium, PADL 2004, Springer-Verlag, LNCS 3057, 2004, 193--208."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004208"},{"key":"e_1_2_1_4_1","first-page":"77","article-title":"Techniques for simplifying the visualization of graph reduction. In K. Hammond, D. N. Turner, and P. M. Sansom (eds.), Functional Programming","volume":"65","author":"Foubister S. P.","year":"1995","unstructured":"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 . 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.","journal-title":"Springer"},{"key":"e_1_2_1_5_1","volume-title":"Proc. of the 2000 ACM SIGPLAN Haskell Workshop, ENTCS 41","author":"Gill A.","year":"2000","unstructured":"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 . 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."},{"key":"e_1_2_1_6_1","volume-title":"WFPL 2001","author":"Hanus M.","year":"2017","unstructured":"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. 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."},{"key":"e_1_2_1_7_1","volume-title":"Proc. of the 1994 ACM SIGPLAN Workshop on Standard ML and its Applications, ACM Press","author":"Kawaguchi N.","year":"1994","unstructured":"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. 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."},{"key":"e_1_2_1_8_1","volume-title":"Proc. of the 1st Program Visualization Workshop","author":"Khuri S.","year":"2001","unstructured":"Khuri , S. Designing effective algorithm visualizations. In Sutinen, E. (ed.) , Proc. of the 1st Program Visualization Workshop , University of Joensuu, Finland , 2001 , 1--12. Khuri, S. Designing effective algorithm visualizations. In Sutinen, E. (ed.), Proc. of the 1st Program Visualization Workshop, University of Joensuu, Finland, 2001, 1--12."},{"key":"e_1_2_1_9_1","volume-title":"The Art of Computer Programming","author":"Knuth D. E.","year":"1997","unstructured":"Knuth , D. E. The Art of Computer Programming , vol. 1 , Fundamental Algorithms. Addison-Wesley , 3 rd edition, 1997 Knuth, D. E. The Art of Computer Programming, vol. 1, Fundamental Algorithms. Addison-Wesley, 3rd edition, 1997","edition":"3"},{"key":"e_1_2_1_10_1","volume-title":"ZStep95: A reversible, animated source code stepper","author":"Lieberman H.","year":"1998","unstructured":"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. 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."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008681016679"},{"key":"e_1_2_1_13_1","volume-title":"Computer Aided Systems Theory-EUROCAST","author":"Pareja-Flores C.","year":"2001","unstructured":"Pareja-Flores , C. , Pe\u00f1a , 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. Pareja-Flores, C., Pe\u00f1a, 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."},{"key":"e_1_2_1_14_1","first-page":"26","article-title":"Aspects and taxonomy of program visualisation. In P. Eades and K. Zhang (eds.)","volume":"3","author":"Oudshorn M. J.","year":"1996","unstructured":"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 . 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.","journal-title":"Software Visualisation. World Scientific Publishing"},{"key":"e_1_2_1_16_1","series-title":"ENTCS","volume-title":"Proc. of the 2001 ACM SIGPLAN Haskell Workshop","author":"Reinke C.","year":"2001","unstructured":"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. 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."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646452.692940"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11528043_16"},{"key":"e_1_2_1_20_1","volume-title":"Proc. of the 4th Program Visualization Workshop (PVW 2006)","author":"Urquiza-Fuentes J.","year":"2006","unstructured":"Urquiza-Fuentes , J. and Vel\u00e1zquez-Iturbide , J . \u00c1. An evaluation of the effortless approach to build algorithm animations with WinHIPE , In Proc. of the 4th Program Visualization Workshop (PVW 2006) , 2006 , 29--33. Urquiza-Fuentes, J. and Vel\u00e1zquez-Iturbide, J.\u00c1. An evaluation of the effortless approach to build algorithm animations with WinHIPE, In Proc. of the 4th Program Visualization Workshop (PVW 2006), 2006, 29--33."},{"key":"e_1_2_1_21_1","volume-title":"Proc. of the VII Congreso Internacional de Interacci\u00f3n Persona-Ordenador (INTERACCI\u00d3N 2006)","author":"Urquiza-Fuentes J.","year":"2006","unstructured":"Urquiza-Fuentes , J. Vel\u00e1zquez-Iturbide , J. \u00c1. and L\u00e1zaro-Carrascosa , C . Design and evaluation of R-Zoom, a new focus+context visualization technique . In Proc. of the VII Congreso Internacional de Interacci\u00f3n Persona-Ordenador (INTERACCI\u00d3N 2006) , 2006 , 79--88. Urquiza-Fuentes, J. Vel\u00e1zquez-Iturbide, J.\u00c1. and L\u00e1zaro-Carrascosa, C. Design and evaluation of R-Zoom, a new focus+context visualization technique. In Proc. of the VII Congreso Internacional de Interacci\u00f3n Persona-Ordenador (INTERACCI\u00d3N 2006), 2006, 79--88."},{"key":"e_1_2_1_22_1","first-page":"332","article-title":"Improving functional programming environments for education. In M. D. Brouwer-Janse and T. L. Harrington (eds.), Man-Machine Communication for Educational Systems Design","volume":"325","author":"Vel\u00e1zquez-Iturbide J.","year":"1994","unstructured":"Vel\u00e1zquez-Iturbide , J. \u00c1 . 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 . Vel\u00e1zquez-Iturbide, J.\u00c1. 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.","journal-title":"Springer-Verlag"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1067445.1067519"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1163566.1163575"},{"key":"e_1_2_1_25_1","unstructured":"Vel\u00e1zquez-Iturbide J.\u00c1. Pareja-Flores C. and Urquiza-Fuentes J. An approach to effortless construction of program animations Computers & Education in press. Vel\u00e1zquez-Iturbide J.\u00c1. Pareja-Flores C. and Urquiza-Fuentes J. An approach to effortless construction of program animations Computers & Education in press."},{"key":"e_1_2_1_26_1","volume-title":"Proc. of the 20th Australian Computer Science Conference","author":"Watson R.","year":"1997","unstructured":"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 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"}],"container-title":["ACM SIGPLAN Notices"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1273039.1273042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T18:24:34Z","timestamp":1672251874000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273039.1273042"}},"subtitle":["an IDE for functional programming based on rewriting and visualization"],"short-title":[],"issued":{"date-parts":[[2007,3]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,3]]}},"alternative-id":["10.1145\/1273039.1273042"],"URL":"https:\/\/doi.org\/10.1145\/1273039.1273042","relation":{},"ISSN":["0362-1340","1558-1160"],"issn-type":[{"value":"0362-1340","type":"print"},{"value":"1558-1160","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,3]]},"assertion":[{"value":"2007-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}