{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:06:30Z","timestamp":1750309590363,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,26]],"date-time":"2024-08-26T00:00:00Z","timestamp":1724630400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,8,26]]},"DOI":"10.1145\/3723325.3723340","type":"proceedings-article","created":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T10:54:18Z","timestamp":1746183258000},"page":"51-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Implementation of Dynamic Visualizations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-4416-4616","authenticated-orcid":false,"given":"Andr\u00e9s M.","family":"Garced","sequence":"first","affiliation":[{"name":"Seton Hall University, South Orange, New Jersey, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-3344-383X","authenticated-orcid":false,"given":"Tijana","family":"Mini\u0107","sequence":"additional","affiliation":[{"name":"Seton Hall University, South Orange, New Jersey, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4670-6116","authenticated-orcid":false,"given":"Marco T.","family":"Moraz\u00e1n","sequence":"additional","affiliation":[{"name":"Seton Hall University, South Orange, New Jersey, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,5,2]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/800031.808596"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Noam Chomsky. 1959. On Certain Formal Properties of Grammars. Information and Control 2 2 (1959) 137\u2013167. https:\/\/doi.org\/10.1016\/S0019-9958(59)90362-6","DOI":"10.1016\/S0019-9958(59)90362-6"},{"key":"e_1_3_3_2_4_2","volume-title":"VirtualDom","author":"Czaplicki Evan","year":"2020","unstructured":"Evan Czaplicki. 2020. VirtualDom. https:\/\/package.elm-lang.org\/packages\/elm\/virtual-dom\/latest\/VirtualDom Last Accessed: February 2025."},{"key":"e_1_3_3_2_5_2","volume-title":"A Delightful Language for Reliable Web Applications","author":"Czaplicki Evan","year":"2021","unstructured":"Evan Czaplicki. 2021. A Delightful Language for Reliable Web Applications. https:\/\/elm-lang.org\/ Last Accessed: February 2025."},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"crossref","unstructured":"Monika\u00a0Akbar Eric\u00a0Fouh and Clifford\u00a0A. Shaffer. 2012. The Role of Visualization in Computer Science Education. Computers in the Schools 29 1-2 (2012) 95\u2013117. https:\/\/doi.org\/10.1080\/07380569.2012.651422","DOI":"10.1080\/07380569.2012.651422"},{"key":"e_1_3_3_2_7_2","volume-title":"How to Design Programs: An Introduction to Programming and Computing (First ed.)","author":"Felleisen Matthias","year":"2001","unstructured":"Matthias Felleisen, Robert\u00a0Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi. 2001. How to Design Programs: An Introduction to Programming and Computing (First ed.). MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_3_2_8_2","volume-title":"The Racket Guide","author":"Flatt Matthew","year":"2024","unstructured":"Matthew Flatt, Robert\u00a0Bruce Findler, and PLT. 2024. The Racket Guide. PLT. https:\/\/www-old.cs.utah.edu\/plt\/snapshots\/current\/doc\/guide\/index.html Last accessed: February 2025."},{"key":"e_1_3_3_2_9_2","volume-title":"The Racket Reference","author":"Flatt Matthew","year":"2024","unstructured":"Matthew Flatt, Robert\u00a0Bruce Findler, and PLT. 2024. The Racket Reference. PLT. https:\/\/docs.racket-lang.org\/reference\/index.html Last accessed: February 2025."},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"crossref","unstructured":"David Furcy Thomas Naps and Jason Wentworth. 2008. Sorting Out Sorting: the Sequel. SIGCSE Bull. 40 3 (jun 2008) 174\u2013178. https:\/\/doi.org\/10.1145\/1597849.1384319","DOI":"10.1145\/1597849.1384319"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"crossref","unstructured":"E.R. Gansner E. Koutsofios S.C. North and K.-P. Vo. 1993. A technique for drawing directed graphs. IEEE Transactions on Software Engineering 19 3 (1993) 214\u2013230. https:\/\/doi.org\/10.1109\/32.221135","DOI":"10.1109\/32.221135"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"crossref","unstructured":"Emden\u00a0R. Gansner and Stephen\u00a0C. North. 2000. An Open Graph Visualization System and Its Applications to Software Engineering. Softw. Pract. Exper. 30 11 (sep 2000) 1203\u20131233. https:\/\/doi.org\/10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N"},{"key":"e_1_3_3_2_13_2","volume-title":"Halogen Guide","author":"Garcia Justin","year":"2025","unstructured":"Justin Garcia. 2025. Halogen Guide. https:\/\/purescript-halogen.github.io\/purescript-halogen\/index.html Last Accessed: February 2025."},{"key":"e_1_3_3_2_14_2","unstructured":"GHC. 2022. GHCMemory Management. https:\/\/wiki.haskell.org\/GHC\/Memory_Management#Garbage_collection. Last accessed: October 2024."},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Sheila\u00a0A. Greibach. 1965. A New Normal-Form Theorem for Context-Free Phrase Structure Grammars. J. ACM 12 (1965) 42\u201352.","DOI":"10.1145\/321250.321254"},{"key":"e_1_3_3_2_16_2","unstructured":"Marianne Grov. 2015. Building User Interfaces Using Virtual DOM. Masters. University of Oslo. https:\/\/www.duo.uio.no\/bitstream\/handle\/10852\/45209\/7\/mymaster.pdf Last Accessed: February 2025."},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"crossref","unstructured":"Mary Hegarty. 2004. Dynamic Visualizations and Learning: Getting to the Difficult Questions. Learning and Instruction 14 3 (2004) 343\u2013351. https:\/\/doi.org\/10.1016\/j.learninstruc.2004.06.007 Dynamic Visualisations and Learning.","DOI":"10.1016\/j.learninstruc.2004.06.007"},{"key":"e_1_3_3_2_18_2","unstructured":"Tejun Heo. 2015. Control Group v2. https:\/\/docs.kernel.org\/admin-guide\/cgroup-v2.html. Last Accessed: July 2024."},{"key":"e_1_3_3_2_19_2","unstructured":"Juho Huhti. 2019. The Effect of High Monitor Refresh Rate on Game Experience. Masters Thesis. University of Vaasa Wolffintie 32 65200 Vaasa Finland."},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"crossref","unstructured":"Christopher\u00a0D. Hundhausen Sarah\u00a0A. Douglas and John\u00a0T. Stasko. 2002. A Meta-Study of Algorithm Visualization Effectiveness. Journal of Visual Languages & Computing 13 3 (2002) 259\u2013290. https:\/\/doi.org\/10.1006\/jvlc.2002.0237","DOI":"10.1006\/jvlc.2002.0237"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"crossref","unstructured":"Edwin\u00a0L. Hutchins James\u00a0D. Hollan and Donald\u00a0A. Norman. 1985. Direct Manipulation Interfaces. Hum.-Comput. Interact. 1 4 (December 1985) 311\u2013338. https:\/\/doi.org\/10.1207\/s15327051hci01042","DOI":"10.1207\/s15327051hci0104_2"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.5555\/376944"},{"key":"e_1_3_3_2_23_2","series-title":"(Lecture Notes in Computer Science)","first-page":"272","volume-title":"International Symposium on Graph Drawing (GD)","author":"Kruja E.","year":"2001","unstructured":"E. Kruja, J. Marks, A. Blair, and R.C. Waters. 2001. A Short Note on the History of Graph Drawing. In International Symposium on Graph Drawing (GD)(Lecture Notes in Computer Science), P.\u00a0Mutzel, M.\u00a0Junger, and S.\u00a0Leipert (Eds.). Springer, 272\u2013286. https:\/\/www.merl.com\/publications\/TR2001-49"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/1375634.1375637"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3622780.3623647"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85091-3"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-04317-8"},{"key":"e_1_3_3_2_28_2","volume-title":"Programming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove","author":"Moraz\u00e1n Marco\u00a0T.","year":"2024","unstructured":"Marco\u00a0T. Moraz\u00e1n. 2024. Programming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove. Springer. https:\/\/doi.org\/10.1007\/978-3-031-43973-5"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.170.2"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.405.3"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649217.3653641"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3689493.3689979"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"crossref","unstructured":"Marco\u00a0T. Moraz\u00e1n Joshua\u00a0M. Schappel and Sachin Mahashabde. 2020. Visual Designing and Debugging of Deterministic Finite-State Machines in FSM. Electronic Proceedings in Theoretical Computer Science 321 (aug 2020) 55\u201377. https:\/\/doi.org\/10.4204\/eptcs.321.4","DOI":"10.4204\/EPTCS.321.4"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/2591708.2591743"},{"key":"e_1_3_3_2_35_2","volume-title":"Quantum Computation and Quantum Information: 10th Anniversary Edition (10th ed.)","author":"Nielsen Michael\u00a0A.","year":"2011","unstructured":"Michael\u00a0A. Nielsen and Isaac\u00a0L. Chuang. 2011. Quantum Computation and Quantum Information: 10th Anniversary Edition (10th ed.). Cambridge University Press, USA."},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.5555\/2187809"},{"volume-title":"HtDP\/2e Teachpacks","year":"2024","key":"e_1_3_3_2_37_2","unstructured":"PLT. 2024. HtDP\/2e Teachpacks. PLT. https:\/\/docs.racket-lang.org\/teachpack\/2htdpimage.html Last accessed: October 2024."},{"key":"e_1_3_3_2_38_2","volume-title":"JFLAP: An Interactive Formal Languages and Automata Package","author":"Rodger Susan\u00a0H.","year":"2006","unstructured":"Susan\u00a0H. Rodger. 2006. JFLAP: An Interactive Formal Languages and Automata Package. Jones and Bartlett Publishers, Inc., USA."},{"key":"e_1_3_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/1121341.1121459"},{"key":"e_1_3_3_2_40_2","unstructured":"Pablo\u00a0Galindo Salgado. 2024. Python Developer\u2019s Guide: Garbage Collector Design. https:\/\/devguide.python.org\/internals\/garbage-collector\/index.html. Last accessed: October 2024."},{"key":"e_1_3_3_2_41_2","unstructured":"Koichi Sasada. 2024. Incremental Garbage Collection in Ruby 2.2. https:\/\/blog.heroku.com\/incremental-gc#:\u00a0:text=Instead%20of%20one%20long%20pause to%20be%20much%20more%20consistent.Last accessed: October 2024."},{"key":"e_1_3_3_2_42_2","unstructured":"Koichi Sasada. 2024. Incremental Garbage Collection in Ruby 2.2. https:\/\/blog.heroku.com\/incremental-gc#:\u00a0:text=Instead%20of%20one%20long%20pause to%20be%20much%20more%20consistent.Last accessed: October 2024."},{"key":"e_1_3_3_2_43_2","volume-title":"Sensation and Perception: An Integrated Approach (3rd ed. ed.)","author":"Schiffman Harvey\u00a0Richard","year":"1990","unstructured":"Harvey\u00a0Richard Schiffman. 1990. Sensation and Perception: An Integrated Approach (3rd ed. ed.). Wiley, New York, USA."},{"key":"e_1_3_3_2_44_2","doi-asserted-by":"crossref","unstructured":"J.T. Stasko. 1990. Tango: a framework and system for algorithm animation. Computer 23 9 (1990) 27\u201339. https:\/\/doi.org\/10.1109\/2.58216","DOI":"10.1109\/2.58216"},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"crossref","unstructured":"John Stasko. 1992. Animating algorithms with XTANGO. SIGACT News 23 2 (may 1992) 67\u201371. https:\/\/doi.org\/10.1145\/130956.130959","DOI":"10.1145\/130956.130959"},{"key":"e_1_3_3_2_46_2","unstructured":"John\u00a0Thomas Stasko. 1989. TANGO: A Framework and System for Algorithm Animation. Ph.D. Brown University Providence RI."},{"key":"e_1_3_3_2_47_2","unstructured":"J.\u00a0T. Stasko. 1990. TANGO: A Framework and System for Algorithm Animation. Ph.\u00a0D. Dissertation. USA. UMI Order No: GAX90-02299."},{"key":"e_1_3_3_2_48_2","doi-asserted-by":"crossref","unstructured":"John Sweller Jeroen J.\u00a0G. van Merrienboer and Fred Paas. 1998. Cognitive Architecture and Instructional Design. Educational Psychology Review 10 (1998) 251\u2013296. https:\/\/doi.org\/10.1023\/A:1022193728205","DOI":"10.1023\/A:1022193728205"},{"key":"e_1_3_3_2_49_2","unstructured":"FSM\u00a0Research Team. 2024. FSM: A DSL for the Automata Theory Classroom. https:\/\/github.com\/morazanm\/fsm. Last accessed: Sept 2024."},{"key":"e_1_3_3_2_50_2","volume-title":"DOT Language","author":"Team GraphViz","year":"2022","unstructured":"GraphViz Team. 2022. DOT Language. Last Accessed: July 2024."},{"key":"e_1_3_3_2_51_2","volume-title":"React: The Library for Web and Native User Interfaces","author":"Team The\u00a0React","year":"2024","unstructured":"The\u00a0React Team. 2024. React: The Library for Web and Native User Interfaces. https:\/\/react.dev\/ Last Accessed: February 2025."},{"key":"e_1_3_3_2_52_2","volume-title":"Lustre: Make Your Frontend Shine v4.6.4","author":"Thompson Hayleigh","year":"2025","unstructured":"Hayleigh Thompson. 2025. Lustre: Make Your Frontend Shine v4.6.4. https:\/\/hexdocs.pm\/lustre\/index.html Last Accessed: February 2025."},{"key":"e_1_3_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-7869-7"},{"key":"e_1_3_3_2_54_2","doi-asserted-by":"crossref","unstructured":"Jaime Urquiza-Fuentes and J.\u00a0\u00c1ngel Vel\u00e1zquez-Iturbide. 2009. A Survey of Successful Evaluations of Program Visualization and Algorithm Animation Systems. ACM Trans. Comput. Educ. 9 2 Article 9 (jun 2009) 21\u00a0pages. https:\/\/doi.org\/10.1145\/1538234.1538236","DOI":"10.1145\/1538234.1538236"},{"key":"e_1_3_3_2_55_2","unstructured":"Ruochen Wang Molly Maclaren and Michael Coblenz. 2023. REVIS: An Error Visualization Tool for Rust. arxiv:https:\/\/arXiv.org\/abs\/2309.06640\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2309.06640 Last Accessed: July 2024."},{"key":"e_1_3_3_2_56_2","unstructured":"Johannes Weiner. 2018. PSI - Pressure Stall Information. https:\/\/docs.kernel.org\/accounting\/psi.html#psi. Last Accessed: July 2024."},{"key":"e_1_3_3_2_57_2","volume-title":"RackUnit: Unit Testing (v8.12 ed.)","author":"Welsh Noel","year":"2024","unstructured":"Noel Welsh and Ryan Culpepper. 2024. RackUnit: Unit Testing (v8.12 ed.). PLT Racket. Last accessed: June 2024."},{"key":"e_1_3_3_2_58_2","doi-asserted-by":"publisher","DOI":"10.5555\/645648.664824"}],"event":{"name":"IFL 2024: Proceedings of the 36th Symposium on Implementation and Application of Functional Languages","acronym":"IFL 2024","location":"Nijmegen Netherlands"},"container-title":["Proceedings of the 36th Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723325.3723340","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3723325.3723340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:56:48Z","timestamp":1750298208000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723325.3723340"}},"subtitle":["A Case-Study Using FSM Visualizations"],"short-title":[],"issued":{"date-parts":[[2024,8,26]]},"references-count":57,"alternative-id":["10.1145\/3723325.3723340","10.1145\/3723325"],"URL":"https:\/\/doi.org\/10.1145\/3723325.3723340","relation":{},"subject":[],"published":{"date-parts":[[2024,8,26]]},"assertion":[{"value":"2025-05-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}