{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T11:22:54Z","timestamp":1783336974080,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T00:00:00Z","timestamp":1592179200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,15]]},"DOI":"10.1145\/3341525.3387404","type":"proceedings-article","created":{"date-parts":[[2020,6,3]],"date-time":"2020-06-03T04:15:40Z","timestamp":1591157740000},"page":"159-165","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Engage Against the Machine: Rise of the Notional Machines as Effective Pedagogical Devices"],"prefix":"10.1145","author":[{"given":"Paul E.","family":"Dickson","sequence":"first","affiliation":[{"name":"Ithaca College, Ithaca, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Neil C. C.","family":"Brown","sequence":"additional","affiliation":[{"name":"King's College London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Brett A.","family":"Becker","sequence":"additional","affiliation":[{"name":"University College Dublin, Dublin, Ireland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 50th ACM Technical Symposium on Computer Science Education (SIGCSE '19)","author":"Brett","unstructured":"Brett A. Becker and Keith Quille. 2019. 50 Years of CS1 at SIGCSE: A Review of the Evolution of Introductory Programming Education Research . In Proceedings of the 50th ACM Technical Symposium on Computer Science Education (SIGCSE '19) . Association for Computing Machinery, New York, NY, USA, 338--344. https:\/\/doi.org\/10.1145\/3287324.3287432 10.1145\/3287324.3287432 Brett A. Becker and Keith Quille. 2019. 50 Years of CS1 at SIGCSE: A Review of the Evolution of Introductory Programming Education Research. In Proceedings of the 50th ACM Technical Symposium on Computer Science Education (SIGCSE '19). Association for Computing Machinery, New York, NY, USA, 338--344. https:\/\/doi.org\/10.1145\/3287324.3287432"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/273133.274308"},{"key":"e_1_3_2_1_3_1","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 Michael","year":"2016","unstructured":"Michael Berry and Michael 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 . Michael Berry and Michael 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_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2532748.2532765"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591708.2591721"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105726.3106190"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3304221.3319788"},{"key":"e_1_3_2_1_8_1","volume-title":"Meaningful Learning in the Tutoring System for Programming. In ITI 2008--30th International Conference on Information Technology Interfaces. IEEE, 483--488","author":"Dadic Tonci","year":"2008","unstructured":"Tonci Dadic , Slavomir Stankov , and Marko Rosic . 2008 . Meaningful Learning in the Tutoring System for Programming. In ITI 2008--30th International Conference on Information Technology Interfaces. IEEE, 483--488 . Tonci Dadic, Slavomir Stankov, and Marko Rosic. 2008. Meaningful Learning in the Tutoring System for Programming. In ITI 2008--30th International Conference on Information Technology Interfaces. IEEE, 483--488."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 48th Annual Southeast Regional Conference (ACM SE '10). ACM","author":"Andrew","year":"1900","unstructured":"Andrew R. Dalton and William Kreahling. 2010. Automated Construction of Memory Diagrams for Program Comprehension . In Proceedings of the 48th Annual Southeast Regional Conference (ACM SE '10). ACM , New York, NY, USA, Article 22, 6 pages. https:\/\/doi.org\/10.1145\/ 1900 008.1900040 10.1145\/1900008.1900040 Andrew R. Dalton and William Kreahling. 2010. Automated Construction of Memory Diagrams for Program Comprehension. In Proceedings of the 48th Annual Southeast Regional Conference (ACM SE '10). ACM, New York, NY, USA, Article 22, 6 pages. https:\/\/doi.org\/10.1145\/1900008.1900040"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3265757.3265776"},{"key":"e_1_3_2_1_11_1","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. https:\/\/doi.org\/10.1145\/2839509.2844607 10.1145\/2839509.2844607 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. https:\/\/doi.org\/10.1145\/2839509.2844607"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.2190\/3LFX-9RRF-67T8-UVK9"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(81)80056-9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3017680.3017777"},{"key":"e_1_3_2_1_15_1","first-page":"1","article-title":"Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281)","volume":"9","author":"Guzdial Mark","year":"2019","unstructured":"Mark Guzdial , Shriram Krishnamurthi , Juha Sorva , and Jan Vahrenhold . 2019 . Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281) . Dagstuhl Reports , Vol. 9 , 7 (2019), 1 -- 23 . https:\/\/doi.org\/10.4230\/DagRep.9.7.1 10.4230\/DagRep.9.7.1 Mark Guzdial, Shriram Krishnamurthi, Juha Sorva, and Jan Vahrenhold. 2019. Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281). Dagstuhl Reports, Vol. 9, 7 (2019), 1--23. https:\/\/doi.org\/10.4230\/DagRep.9.7.1","journal-title":"Dagstuhl Reports"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445364"},{"key":"e_1_3_2_1_17_1","first-page":"3","article-title":"Understanding Notional Machines Through Traditional Teaching with Conceptual Contraposition and Program Memory Tracing","volume":"19","author":"Hidalgo-C\u00e9spedes Jeisson","year":"2016","unstructured":"Jeisson Hidalgo-C\u00e9spedes , Gabriela Mar'in-Ravent\u00f3s , and Vladimir Lara-Villagr\u00e1n . 2016 . Understanding Notional Machines Through Traditional Teaching with Conceptual Contraposition and Program Memory Tracing . CLEI Electronic Journal , Vol. 19 , 2 (2016), 3 -- 3 . Jeisson Hidalgo-C\u00e9spedes, Gabriela Mar'in-Ravent\u00f3s, and Vladimir Lara-Villagr\u00e1n. 2016. Understanding Notional Machines Through Traditional Teaching with Conceptual Contraposition and Program Memory Tracing. CLEI Electronic Journal, Vol. 19, 2 (2016), 3--3.","journal-title":"CLEI Electronic Journal"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372356.3372360"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20)","author":"Karvelas Ioannis","unstructured":"Ioannis Karvelas , Annie Li , and Brett A. Becker . 2020. The Effects of Compilation Mechanisms and Error Message Presentation on Novice Programmer Behavior . In Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20) . Association for Computing Machinery, New York, NY, USA, 759--765. https:\/\/doi.org\/10.1145\/3328778.3366882 10.1145\/3328778.3366882 Ioannis Karvelas, Annie Li, and Brett A. Becker. 2020. The Effects of Compilation Mechanisms and Error Message Presentation on Novice Programmer Behavior. In Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20). Association for Computing Machinery, New York, NY, USA, 759--765. https:\/\/doi.org\/10.1145\/3328778.3366882"},{"key":"e_1_3_2_1_20_1","volume-title":"Programming Paradigms and Beyond","author":"Krishnamurthi Shriram","unstructured":"Shriram Krishnamurthi and Kathi Fisler . 2019. Programming Paradigms and Beyond . In The Cambridge Handbook of Computing Education Research, Sally A. Fincher and Anthony V. Robins (Eds.). Cambridge University Press , Chapter 13, 377--413. https:\/\/doi.org\/10.1017\/9781108654555.014 10.1017\/9781108654555.014 Shriram Krishnamurthi and Kathi Fisler. 2019. Programming Paradigms and Beyond. In The Cambridge Handbook of Computing Education Research, Sally A. Fincher and Anthony V. Robins (Eds.). Cambridge University Press, Chapter 13, 377--413. https:\/\/doi.org\/10.1017\/9781108654555.014"},{"key":"e_1_3_2_1_21_1","first-page":"6","article-title":"LearnCS!: A New, Browser-based C Programming Environment for CS1","volume":"29","author":"Lipman Derrell","year":"2014","unstructured":"Derrell Lipman . 2014 . LearnCS!: A New, Browser-based C Programming Environment for CS1 . J. Comput. Sci. Coll. , Vol. 29 , 6 (June 2014), 144--150. http:\/\/dl.acm.org\/citation.cfm?id=2602724.2602752 Derrell Lipman. 2014. LearnCS!: A New, Browser-based C Programming Environment for CS1. J. Comput. Sci. Coll., Vol. 29, 6 (June 2014), 144--150. http:\/\/dl.acm.org\/citation.cfm?id=2602724.2602752","journal-title":"J. Comput. Sci. Coll."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293881.3295779"},{"key":"e_1_3_2_1_23_1","first-page":"2","article-title":"Exploring the Role of Visualization and Engagement in Computer Science Education","volume":"35","author":"Naps Thomas L.","year":"2002","unstructured":"Thomas L. Naps , Guido Rossling , Vicki Almstrum , Wanda Dann , Rudolf Fleischer , Chris Hundhausen , Ari Korhonen , Lauri Malmi , Myles McNally , Susan Rodger , and J. Angel Velazquez-Iturbide . 2002 . Exploring the Role of Visualization and Engagement in Computer Science Education . SIGCSE Bull. , Vol. 35 , 2 (June 2002), 131--152. https:\/\/doi.org\/10.1145\/782941.782998 10.1145\/782941.782998 Thomas L. Naps, Guido Rossling, Vicki Almstrum, Wanda Dann, Rudolf Fleischer, Chris Hundhausen, Ari Korhonen, Lauri Malmi, Myles McNally, Susan Rodger, and J. Angel Velazquez-Iturbide. 2002. Exploring the Role of Visualization and Engagement in Computer Science Education. SIGCSE Bull., Vol. 35, 2 (June 2002), 131--152. https:\/\/doi.org\/10.1145\/782941.782998","journal-title":"SIGCSE Bull."},{"key":"e_1_3_2_1_24_1","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 Andrew 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. https:\/\/doi.org\/10.1145\/3105726.3106178 10.1145\/3105726.3106178 Greg L. Nelson, Benjamin Xie, and Andrew 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. https:\/\/doi.org\/10.1145\/3105726.3106178"},{"key":"e_1_3_2_1_25_1","volume-title":"Hora","author":"Oleson Amanda","year":"2014","unstructured":"Amanda Oleson and Matthew T . Hora . 2014 . Teaching the Way They Were Taught? Revisiting the Sources of Teaching Knowledge and the Role of Prior Experience in Shaping Faculty Teaching Practices. Higher Education , Vol. 68 , 1 (01 Jul 2014), 29--45. https:\/\/doi.org\/10.1007\/s10734-013--9678--9 10.1007\/s10734-013--9678--9 Amanda Oleson and Matthew T. Hora. 2014. Teaching the Way They Were Taught? Revisiting the Sources of Teaching Knowledge and the Role of Prior Experience in Shaping Faculty Teaching Practices. Higher Education, Vol. 68, 1 (01 Jul 2014), 29--45. https:\/\/doi.org\/10.1007\/s10734-013--9678--9"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358711.3361625"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/201998.202016"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595356.1595360"},{"key":"e_1_3_2_1_29_1","volume-title":"Visual Program Simulation in Introductory Programming Education","author":"Sorva Juha","unstructured":"Juha Sorva . 2012. Visual Program Simulation in Introductory Programming Education ; Visuaalinen Ohjelmasimulaatio Ohjelmoinnin Alkeisopetuksessa. Ph.D. Dissertation. Aalto University , Espoo, Finland. http:\/\/urn.fi\/URN:ISBN:978--952--60--4626--6 Juha Sorva. 2012. Visual Program Simulation in Introductory Programming Education; Visuaalinen Ohjelmasimulaatio Ohjelmoinnin Alkeisopetuksessa. Ph.D. Dissertation. Aalto University, Espoo, Finland. http:\/\/urn.fi\/URN:ISBN:978--952--60--4626--6"},{"key":"e_1_3_2_1_30_1","article-title":"Notional Machines and Introductory Programming","volume":"13","author":"Sorva Juha","year":"2013","unstructured":"Juha Sorva . 2013 . Notional Machines and Introductory Programming Education. Trans. Comput. Educ. , Vol. 13 , 2, Article 8 (July 2013), 31 pages. https:\/\/doi.org\/10.1145\/2483710.2483713 10.1145\/2483710.2483713 Juha Sorva. 2013. Notional Machines and Introductory Programming Education. Trans. Comput. Educ., Vol. 13, 2, Article 8 (July 2013), 31 pages. https:\/\/doi.org\/10.1145\/2483710.2483713","journal-title":"Education. Trans. Comput. Educ."},{"key":"e_1_3_2_1_31_1","article-title":"A Review of Generic Program Visualization Systems for Introductory Programming","volume":"13","author":"Sorva Juha","year":"2013","unstructured":"Juha Sorva , Ville Karavirta , and Lauri Malmi . 2013 . A Review of Generic Program Visualization Systems for Introductory Programming Education. Trans. Comput. Educ. , Vol. 13 , 4, Article 15 (Nov. 2013), 64 pages. https:\/\/doi.org\/10.1145\/2490822 10.1145\/2490822 Juha Sorva, Ville Karavirta, and Lauri Malmi. 2013. A Review of Generic Program Visualization Systems for Introductory Programming Education. Trans. Comput. Educ., Vol. 13, 4, Article 15 (Nov. 2013), 64 pages. https:\/\/doi.org\/10.1145\/2490822","journal-title":"Education. Trans. Comput. Educ."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2674683.2674690"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1930464.1930471"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2899415.2925487"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3159450.3159479"}],"event":{"name":"ITiCSE '20: Innovation and Technology in Computer Science Education","location":"Trondheim Norway","acronym":"ITiCSE '20","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341525.3387404","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341525.3387404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:12:58Z","timestamp":1750201978000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341525.3387404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,15]]},"references-count":35,"alternative-id":["10.1145\/3341525.3387404","10.1145\/3341525"],"URL":"https:\/\/doi.org\/10.1145\/3341525.3387404","relation":{},"subject":[],"published":{"date-parts":[[2020,6,15]]},"assertion":[{"value":"2020-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}