{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:07:13Z","timestamp":1755839233926,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,18]],"date-time":"2021-11-18T00:00:00Z","timestamp":1637193600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Bundesministerium f\u00fcr Bildung und Forschung","award":["01PB18007A"],"award-info":[{"award-number":["01PB18007A"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,11,18]]},"DOI":"10.1145\/3488042.3488061","type":"proceedings-article","created":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T23:28:49Z","timestamp":1636586929000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Exploring Algorithm Comprehension: Linking\u00a0Proof\u00a0and\u00a0Program\u00a0Code"],"prefix":"10.1145","author":[{"given":"Philipp","family":"Kather","sequence":"first","affiliation":[{"name":"Department of Computer Science, Westf\u00e4lische Wilhelms-Universit\u00e4t M\u00fcnster, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Vahrenhold","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Westf\u00e4lische Wilhelms-Universit\u00e4t M\u00fcnster, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,11,18]]},"reference":[{"volume-title":"Teaching for quality at university: What the student does","author":"Biggs B","key":"e_1_3_2_1_1_1","unstructured":"John\u00a0 B Biggs . 2011. Teaching for quality at university: What the student does . McGraw-hill education (UK), London, UK. John\u00a0B Biggs. 2011. Teaching for quality at university: What the student does. McGraw-hill education (UK), London, UK."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(83)80031-5"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015297914742"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1177\/0049124113500475"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. 31st Frontiers in Education Conf.TID\u20132.","author":"Chen Tao","year":"2001","unstructured":"Tao Chen and Tarek Sobh . 2001 . A tool for data structure visualization and user-defined algorithm animation . In Proc. 31st Frontiers in Education Conf.TID\u20132. Tao Chen and Tarek Sobh. 2001. A tool for data structure visualization and user-defined algorithm animation. In Proc. 31st Frontiers in Education Conf.TID\u20132."},{"volume-title":"Basics of Qualitative Research","author":"Corbin Juliet","key":"e_1_3_2_1_6_1","unstructured":"Juliet Corbin and Anselm\u00a0 L. Strauss . 2014. Basics of Qualitative Research . SAGE Publishing , Thousand Oaks, CA . Juliet Corbin and Anselm\u00a0L. Strauss. 2014. Basics of Qualitative Research. SAGE Publishing, Thousand Oaks, CA."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/77577.77580"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 22th Annual Workshop of the Psychology of Programming Interest Group. 100\u2013111","author":"da Rosa Sylvia","year":"2010","unstructured":"Sylvia da Rosa . 2010 . The construction of the concept of binary search algorithm . In Proceedings of the 22th Annual Workshop of the Psychology of Programming Interest Group. 100\u2013111 . Sylvia da Rosa. 2010. The construction of the concept of binary search algorithm. In Proceedings of the 22th Annual Workshop of the Psychology of Programming Interest Group. 100\u2013111."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 26th Annual Workshop of the Psychology of Programming Interest Group. 37\u201348","author":"da Rosa Sylvia","year":"2015","unstructured":"Sylvia da Rosa . 2015 . The construction of knowledge of basic algorithms and data structures by novice learners . In Proceedings of the 26th Annual Workshop of the Psychology of Programming Interest Group. 37\u201348 . Sylvia da Rosa. 2015. The construction of knowledge of basic algorithms and data structures by novice learners. In Proceedings of the 26th Annual Workshop of the Psychology of Programming Interest Group. 37\u201348."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/170791.170794"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/169059.169088"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1177\/1470357212446412"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306135"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341096"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3017680.3017801"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/774833.774846"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1067445.1067469"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.87.4.329"},{"volume-title":"Abstraction and Complexity in Program Comprehension. ACM Transactions on Computing Education","author":"Kather Philipp","key":"e_1_3_2_1_19_1","unstructured":"Philipp Kather , Rordrigo Duran , and Jan Vahrenhold . 2021. Through (Tracking) Their Eyes : Abstraction and Complexity in Program Comprehension. ACM Transactions on Computing Education . In Press . Philipp Kather, Rordrigo Duran, and Jan Vahrenhold. 2021. Through (Tracking) Their Eyes: Abstraction and Complexity in Program Comprehension. ACM Transactions on Computing Education. In Press."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC52881.2021.00053"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3279720.3279727"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDMA.2010.328"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(87)90032-X"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140124.1140157"},{"key":"e_1_3_2_1_25_1","unstructured":"Philipp Mayring. 2014. Qualitative Content Analysis: Theoretical Foundation Basic Procedures and Software Solution. https:\/\/nbn-resolving.org\/urn:nbn:de:0168-ssoar-395173.  Philipp Mayring. 2014. Qualitative Content Analysis: Theoretical Foundation Basic Procedures and Software Solution. https:\/\/nbn-resolving.org\/urn:nbn:de:0168-ssoar-395173."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10649-011-9349-7"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2839509.2844617"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.2002.1019"},{"key":"e_1_3_2_1_29_1","volume-title":"Comprehension Strategies in Programming. In Empirical Studies of Programmers: Second Workshop. 100\u2013113","author":"Pennington Nancy","year":"1987","unstructured":"Nancy Pennington . 1987 . Comprehension Strategies in Programming. In Empirical Studies of Programmers: Second Workshop. 100\u2013113 . Nancy Pennington. 1987. Comprehension Strategies in Programming. In Empirical Studies of Programmers: Second Workshop. 100\u2013113."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1067445.1067467"},{"volume-title":"La Prise de Conscience. Presses Universitaires de France","author":"Piaget Jean","key":"e_1_3_2_1_31_1","unstructured":"Jean Piaget . 1964. La Prise de Conscience. Presses Universitaires de France , Paris . Jean Piaget. 1964. La Prise de Conscience. Presses Universitaires de France, Paris."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1404520.1404535"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Carsten Schulte Tony Clear Ahmad Taherkhani Teresa Busjahn and James\u00a0H. Paterson. 2010. An Introduction to Program Comprehension for Computer Science Educators. In 2010 ITiCSE Working Group Reports. 65\u201386.  Carsten Schulte Tony Clear Ahmad Taherkhani Teresa Busjahn and James\u00a0H. Paterson. 2010. An Introduction to Program Comprehension for Computer Science Educators. In 2010 ITiCSE Working Group Reports. 65\u201386.","DOI":"10.1145\/1971681.1971687"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3017680.3017749"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01273663"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3364510.3364530"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1177\/1077800410383121"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.402076"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.508315"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10649-007-9080-6"}],"event":{"name":"Koli Calling '21: 21st Koli Calling International Conference on Computing Education Research","acronym":"Koli Calling '21","location":"Joensuu Finland"},"container-title":["Proceedings of the 21st Koli Calling International Conference on Computing Education Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3488042.3488061","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3488042.3488061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:32Z","timestamp":1750195472000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3488042.3488061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,18]]},"references-count":40,"alternative-id":["10.1145\/3488042.3488061","10.1145\/3488042"],"URL":"https:\/\/doi.org\/10.1145\/3488042.3488061","relation":{},"subject":[],"published":{"date-parts":[[2021,11,18]]},"assertion":[{"value":"2021-11-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}