{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:02:19Z","timestamp":1755993739847,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,12,5]],"date-time":"2023-12-05T00:00:00Z","timestamp":1701734400000},"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":[[2023,12,5]]},"DOI":"10.1145\/3576882.3617918","type":"proceedings-article","created":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T18:08:35Z","timestamp":1700590115000},"page":"140-146","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Teaching Programmers to Think of Program Dynamics"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2966-6669","authenticated-orcid":false,"given":"Aamod","family":"Sane","sequence":"first","affiliation":[{"name":"FLAME University, Pune, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0185-9039","authenticated-orcid":false,"given":"Jayaraman","family":"Valadi","sequence":"additional","affiliation":[{"name":"FLAME University, Pune, India"}]}],"member":"320","published-online":{"date-parts":[[2023,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Invariant based programming: basic approach and teaching experiences. Formal aspects of computing 21, 3","author":"Back Ralph-Johan","year":"2009","unstructured":"Ralph-Johan Back. 2009. Invariant based programming: basic approach and teaching experiences. Formal aspects of computing 21, 3 (2009), 227--244."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501654.2501666"},{"volume-title":"The mythical man-month (anniversary ed.)","author":"Brooks Frederick P","key":"e_1_3_2_1_3_1","unstructured":"Frederick P Brooks Jr. 1995. The mythical man-month (anniversary ed.). Addison-Wesley."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE49875.2021.9637441"},{"key":"e_1_3_2_1_5_1","volume-title":"Cooper and Linda Torczon","author":"Keith","year":"2011","unstructured":"Keith D. Cooper and Linda Torczon. 2011. Engineering a compiler. Elsevier."},{"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\/382204.382524"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(05)80122-1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/365559.365617"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/362929.362947"},{"volume-title":"the Catalysis approach","author":"D'Souza Desmond F","key":"e_1_3_2_1_11_1","unstructured":"Desmond F D'Souza and Alan Cameron Wills. 1998. Objects, Components, and Frameworks with UML: the Catalysis approach. Addison-Wesley."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.2190\/3LFX-9RRF-67T8-UVK9"},{"volume-title":"The science of programming","author":"Gries David","key":"e_1_3_2_1_13_1","unstructured":"David Gries. 2012. The science of programming. Springer Science & Business Media."},{"volume-title":"Multimedia introduction to programming using Java","author":"Gries David","key":"e_1_3_2_1_14_1","unstructured":"David Gries and Paul Gries. 2005. Multimedia introduction to programming using Java. Springer Science & Business Media."},{"volume-title":"A practical theory of programming","author":"Hehner Eric C.R.","key":"e_1_3_2_1_15_1","unstructured":"Eric C.R. Hehner. 2012. A practical theory of programming. Springer-Verlag. https:\/\/www.cs.utoronto.ca\/\u223chehner\/aPToP\/"},{"volume-title":"Proceeding of the 44th ACM technical symposium on Computer science education. 561--566.","author":"Hertz Matthew","key":"e_1_3_2_1_16_1","unstructured":"Matthew Hertz and Maria Jump. 2013. Trace-based teaching in early programming courses. In Proceeding of the 44th ACM technical symposium on Computer science education. 561--566."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.2003.1203056"},{"volume-title":"Model-Centered Learning","author":"Hohenwarter Markus","key":"e_1_3_2_1_18_1","unstructured":"Markus Hohenwarter and Zsolt Lavicza. 2011. The strength of the community: How GeoGebra can inspire technology integration in mathematics. In Model-Centered Learning. Brill, 7--12."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJAIP.2015.070343"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/953030.809575"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5951\/MT.80.8.0636"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007996.1008014"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2729094.2742587"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"volume-title":"Applying UML and Patterns 3 ed.)","author":"Larman Craig","key":"e_1_3_2_1_25_1","unstructured":"Craig Larman. 2005. Applying UML and Patterns 3 ed.). Prentice Hall."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1041624.1041673"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595496.1562930"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1404520.1404531"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293881.3295779"},{"key":"e_1_3_2_1_30_1","unstructured":"Steve McConnell. 2004. Code complete. Pearson Education."},{"key":"e_1_3_2_1_31_1","volume-title":"Cary Laxer, Lynda Thomas, Ian Utting, and Tadeusz Wilusz.","author":"McCracken Michael","year":"2001","unstructured":"Michael McCracken, Vicki Almstrum, Danny Diaz, Mark Guzdial, Dianne Hagan, Yifat Ben-David Kolikant, Cary Laxer, Lynda Thomas, Ian Utting, and Tadeusz Wilusz. 2001. A multi-national, multi-institutional study of assessment of programming skills of first-year CS students. In Working group reports from ITiCSE on Innovation and technology in computer science education. 125--180."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(88)90022-2"},{"key":"e_1_3_2_1_33_1","volume-title":"The Use of Concrete Examples Enhances the Learning of Abstract Concepts","author":"Micallef Alexia","year":"2022","unstructured":"Alexia Micallef and Philip M Newton. 2022. The Use of Concrete Examples Enhances the Learning of Abstract Concepts; A Replication Study. Teaching of Psychology (2022), 00986283211058069."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105726.3106178"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 8th Australasian Conference on Computing Education-Volume 52","author":"Parsons Dale","year":"2006","unstructured":"Dale Parsons and Patricia Haden. 2006. Parson's programming puzzles: a fun and effective learning tool for first programming courses. In Proceedings of the 8th Australasian Conference on Computing Education-Volume 52. 157--163."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.2190\/GUJT-JCBJ-Q6QU-Q9PL"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10648-014-9273-3"},{"key":"e_1_3_2_1_38_1","unstructured":"Stuart Reges and Marty Stepp. 2014. Building Java Programs. Pearson."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1080\/08993401003612167"},{"key":"e_1_3_2_1_40_1","unstructured":"Aamod Sane and Jayaraman Valadi. 2023. Teaching with the Trace-First Approach. Technical Report. Flame University."},{"volume-title":"Introduction to programming in Java: an interdisciplinary approach","author":"Sedgewick Robert","key":"e_1_3_2_1_41_1","unstructured":"Robert Sedgewick and Kevin Wayne. 2017. Introduction to programming in Java: an interdisciplinary approach. Addison-Wesley Professional."},{"volume-title":"Threshold concepts within the disciplines","author":"Shinners-Kennedy Dermot","key":"e_1_3_2_1_42_1","unstructured":"Dermot Shinners-Kennedy. 2008. The everydayness of threshold concepts: State as an example from computer science. In Threshold concepts within the disciplines, Ray Land, Jan HF Meyer, and Jan Smith (Eds.). Brill, Chapter 9, 119--128."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1930464.1930467"},{"volume-title":"Visual program simulation in introductory programming education","author":"Sorva Juha","key":"e_1_3_2_1_44_1","unstructured":"Juha Sorva. 2012. Visual program simulation in introductory programming education. Aalto University."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1269900.1268853"},{"volume-title":"An Introduction to Mathematical Computer Science","author":"Viswanath Kasturi","key":"e_1_3_2_1_46_1","unstructured":"Kasturi Viswanath. 2010. An Introduction to Mathematical Computer Science. University Press."},{"key":"e_1_3_2_1_47_1","volume-title":"Ashcroft","author":"Wadge William W.","year":"1985","unstructured":"William W. Wadge and Edward A. Ashcroft. 1985. Lucid, the dataflow programming language. Vol. 303. Academic Press London."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3159450.3159527"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10639-015-9433-1"}],"event":{"name":"CompEd 2023: ACM Global Computing Education Conference 2023","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Hyderabad India","acronym":"CompEd 2023"},"container-title":["Proceedings of the ACM Conference on Global Computing Education Vol 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576882.3617918","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3576882.3617918","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T01:31:15Z","timestamp":1755912675000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576882.3617918"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,5]]},"references-count":49,"alternative-id":["10.1145\/3576882.3617918","10.1145\/3576882"],"URL":"https:\/\/doi.org\/10.1145\/3576882.3617918","relation":{},"subject":[],"published":{"date-parts":[[2023,12,5]]},"assertion":[{"value":"2023-12-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}