{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:55:56Z","timestamp":1760043356599,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T00:00:00Z","timestamp":1571961600000},"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":[[2019,10,25]]},"DOI":"10.1145\/3358711.3361625","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"46-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Theia: automatically generating correct program state visualizations"],"prefix":"10.1145","author":[{"given":"Josh","family":"Pollock","sequence":"first","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Jared","family":"Roesch","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]},{"given":"Doug","family":"Woos","sequence":"additional","affiliation":[{"name":"Brown University, USA"}]},{"given":"Zachary","family":"Tatlock","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,10,25]]},"reference":[{"volume-title":"Novis: A Notional Machine Implementation for Teaching Introductory Programming. In 2016 International Conference on Learning and Teaching in Computing and Engineering (LaTICE). 54-59","author":"Berry M.","key":"e_1_3_2_1_2_1","unstructured":"M. Berry and M. K\u00f6lling . 2016 . Novis: A Notional Machine Implementation for Teaching Introductory Programming. In 2016 International Conference on Learning and Teaching in Computing and Engineering (LaTICE). 54-59 . M. Berry and M. K\u00f6lling. 2016. Novis: A Notional Machine Implementation for Teaching Introductory Programming. In 2016 International Conference on Learning and Teaching in Computing and Engineering (LaTICE). 54-59."},{"key":"e_1_3_2_1_3_1","first-page":"445","volume-title":"Proceedings of the 42nd Symposium on Principles of Programming Languages (POPL'15)","author":"Grigore Ro\u00feu Denis","year":"2015","unstructured":"Denis Bogd?na\u00fe and Grigore Ro\u00feu . 2015 . K-Java: A Complete Semantics of Java . In Proceedings of the 42nd Symposium on Principles of Programming Languages (POPL'15) . ACM, 445 - 456 . Denis Bogd?na\u00fe and Grigore Ro\u00feu. 2015. K-Java: A Complete Semantics of Java. In Proceedings of the 42nd Symposium on Principles of Programming Languages (POPL'15). ACM, 445-456."},{"key":"e_1_3_2_1_4_1","unstructured":"Olivier Danvy and Andrzej Filinski. 1989. A Functional Abstraction of Typed Contexts.  Olivier Danvy and Andrzej Filinski. 1989. A Functional Abstraction of Typed Contexts."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314601"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-739X(99)00093-X"},{"key":"e_1_3_2_1_7_1","first-page":"546","volume-title":"Proceedings of the 47th ACM Technical Symposium on Computing Science Education (SIGCSE '16)","author":"Dragon Toby","unstructured":"Toby Dragon and Paul E. Dickson . 2016. Memory Diagrams: A Consistant Approach Across Concepts and Languages . In Proceedings of the 47th ACM Technical Symposium on Computing Science Education (SIGCSE '16) . ACM, New York, NY, USA , 546 - 551 . Toby Dragon and Paul E. Dickson. 2016. Memory Diagrams: A Consistant Approach Across Concepts and Languages. In Proceedings of the 47th ACM Technical Symposium on Computing Science Education (SIGCSE '16). ACM, New York, NY, USA, 546-551."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3173838"},{"volume-title":"Formal Description of Programming Concepts III","author":"Felleisen Matthias","key":"e_1_3_2_1_9_1","unstructured":"Matthias Felleisen and D Friedman . 1986. Control Operators, the SECD Machine, and the ?-Calculus , Formal Description of Programming Concepts III (ed. M. Wirsing), 193-217. Matthias Felleisen and D Friedman. 1986. Control Operators, the SECD Machine, and the ?-Calculus, Formal Description of Programming Concepts III (ed. M. Wirsing), 193-217."},{"key":"e_1_3_2_1_10_1","unstructured":"Robert Bruce Findler. 2014. DrRacket: The Racket Programming Environment. (2014).  Robert Bruce Findler. 2014. DrRacket: The Racket Programming Environment. (2014)."},{"key":"e_1_3_2_1_11_1","volume-title":"Frames and folders: a teachable memory model for Java. Journal of Computing Sciences in Colleges - JCSC (01","author":"Gries Paul","year":"2002","unstructured":"Paul Gries and David Gries . 2002. Frames and folders: a teachable memory model for Java. Journal of Computing Sciences in Colleges - JCSC (01 2002 ). Paul Gries and David Gries. 2002. Frames and folders: a teachable memory model for Java. Journal of Computing Sciences in Colleges - JCSC (01 2002)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445368"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737979"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103691"},{"volume-title":"Programming Paradigms and Beyond","author":"Krishnamurthi Shriram","key":"e_1_3_2_1_15_1","unstructured":"Shriram Krishnamurthi and Kathi Fisler . 2019. Programming Paradigms and Beyond . In The Cambridge Handbook of Computing Education Research, Sally Fincher and Anthony Robins (Eds.). Cambridge University Press , Cambridge, Chapter 13, 377-413. Shriram Krishnamurthi and Kathi Fisler. 2019. Programming Paradigms and Beyond. In The Cambridge Handbook of Computing Education Research, Sally Fincher and Anthony Robins (Eds.). Cambridge University Press, Cambridge, Chapter 13, 377-413."},{"key":"e_1_3_2_1_16_1","article-title":"The Mechanical Evaluation of","volume":"6","author":"Landin P. J.","year":"1964","unstructured":"P. J. Landin . 1964 . The Mechanical Evaluation of Expressions. Comput. J. 6 , 4 (01 1964), 308-320. arXiv:http:\/\/oup.prod.sis.lan\/comjnl\/article-pdf\/6\/4\/308\/1067901\/6-4-308.pdf P. J. Landin. 1964. The Mechanical Evaluation of Expressions. Comput. J. 6, 4 (01 1964), 308-320. arXiv:http:\/\/oup.prod.sis.lan\/comjnl\/article-pdf\/6\/4\/308\/1067901\/6-4-308.pdf","journal-title":"Expressions. Comput. J."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-1315(02)00076-3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2632320.2632355"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/989863.989928"},{"key":"e_1_3_2_1_20_1","first-page":"2","volume-title":"Proceedings of the 2017 ACM Conference on International Computing Education Research (ICER '17)","author":"Nelson Greg L.","unstructured":"Greg L. Nelson , Benjamin Xie , and Amy J. Ko . 2017. Comprehension First: Evaluating a Novel Pedagogy and Tutoring System for Program Tracing in CS1 . In Proceedings of the 2017 ACM Conference on International Computing Education Research (ICER '17) . ACM, New York, NY, USA , 2 - 11 . Greg L. Nelson, Benjamin Xie, and Amy J. Ko. 2017. Comprehension First: Evaluating a Novel Pedagogy and Tutoring System for Program Tracing in CS1. In Proceedings of the 2017 ACM Conference on International Computing Education Research (ICER '17). ACM, New York, NY, USA, 2-11."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273039.1273042"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737991"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287324.3287504"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Daniel Sainati and Adrian Sampson. 2018. LambdaLab: an interactive ?-calculus reducer for learning. 10-19.   Daniel Sainati and Adrian Sampson. 2018. LambdaLab: an interactive ?-calculus reducer for learning. 10-19.","DOI":"10.1145\/3310089.3313180"},{"key":"e_1_3_2_1_26_1","volume-title":"From Procedures To Objects: A Research Agenda For The Psychology Of Object-oriented Programming Education. Human Technology: An Interdisciplinary Journal on Humans in ICT Environments 4 (05","author":"Sajaniemi Jorma","year":"2008","unstructured":"Jorma Sajaniemi and Marja Kuittinen . 2008. From Procedures To Objects: A Research Agenda For The Psychology Of Object-oriented Programming Education. Human Technology: An Interdisciplinary Journal on Humans in ICT Environments 4 (05 2008 ). Jorma Sajaniemi and Marja Kuittinen. 2008. From Procedures To Objects: A Research Agenda For The Psychology Of Object-oriented Programming Education. Human Technology: An Interdisciplinary Journal on Humans in ICT Environments 4 (05 2008)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151588.1151593"},{"key":"e_1_3_2_1_28_1","volume-title":"Notional Machines and Introductory Programming Education. ACM Transactions on Computing Education 13 (06","author":"Sorva Juha","year":"2013","unstructured":"Juha Sorva . 2013. Notional Machines and Introductory Programming Education. ACM Transactions on Computing Education 13 (06 2013 ), 8:1-8:31. Juha Sorva. 2013. Notional Machines and Introductory Programming Education. ACM Transactions on Computing Education 13 (06 2013), 8:1-8:31."},{"key":"e_1_3_2_1_29_1","unstructured":"John Whitington and Tom Ridge. 2017. Visualizing the evaluation of functional programs for debugging. (2017).  John Whitington and Tom Ridge. 2017. Visualizing the evaluation of functional programs for debugging. (2017)."},{"key":"e_1_3_2_1_30_1","volume-title":"Anderson","author":"Woos Doug","year":"2018","unstructured":"Doug Woos , Zachary Tatlock , Michael D. Ernst , and Thomas E . Anderson . 2018 . A Graphical Interactive Debugger for Distributed Systems. CoRR abs\/1806.05300 (2018). arXiv:1806.05300 http:\/\/arxiv.org\/abs\/1806.05300. Doug Woos, Zachary Tatlock, Michael D. Ernst, and Thomas E. Anderson. 2018. A Graphical Interactive Debugger for Distributed Systems. CoRR abs\/1806.05300 (2018). arXiv:1806.05300 http:\/\/arxiv.org\/abs\/1806.05300."}],"event":{"name":"SPLASH '19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Athens Greece","acronym":"SPLASH '19"},"container-title":["Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358711.3361625","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3358711.3361625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:26Z","timestamp":1750202006000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358711.3361625"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,25]]},"references-count":29,"alternative-id":["10.1145\/3358711.3361625","10.1145\/3358711"],"URL":"https:\/\/doi.org\/10.1145\/3358711.3361625","relation":{},"subject":[],"published":{"date-parts":[[2019,10,25]]},"assertion":[{"value":"2019-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}