{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T19:56:40Z","timestamp":1781812600830,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T00:00:00Z","timestamp":1657152000000},"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":[[2022,7,7]]},"DOI":"10.1145\/3502718.3524814","type":"proceedings-article","created":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T10:28:30Z","timestamp":1657189710000},"page":"311-317","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Programming to Learn"],"prefix":"10.1145","author":[{"given":"Matthew","family":"Farrugia-Roberts","sequence":"first","affiliation":[{"name":"The University of Melbourne, Melbourne, VIC, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bryn","family":"Jeffries","sequence":"additional","affiliation":[{"name":"Grok Academy &amp; The University of Sydney, Sydney, NSW, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Harald","family":"S\u00f8ndergaard","sequence":"additional","affiliation":[{"name":"The University of Melbourne, Melbourne, VIC, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,7,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 23rd International Joint Conference on Artificial Intelligence. 1976--1982","author":"Alur Rajeev","year":"2013","unstructured":"Rajeev Alur , Loris D'Antoni , Sumit Gulwani , Dileep Kini , and Mahesh Viswanathan . 2013 . Automated Grading of DFA Constructions . In Proceedings of the 23rd International Joint Conference on Artificial Intelligence. 1976--1982 . Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, and Mahesh Viswanathan. 2013. Automated Grading of DFA Constructions. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence. 1976--1982."},{"key":"e_1_3_2_1_2_1","unstructured":"Bostow  Bostow"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3758\/BF03204750"},{"key":"e_1_3_2_1_4_1","unstructured":"Chakraborty  Chakraborty"},{"key":"e_1_3_2_1_5_1","first-page":"4","article-title":"Pinaki Chakraborty, P. C. Saxena, and C. P. Katti. 2011. Fifty Years of Automata Simulation: A Review","volume":"2","year":"2011","unstructured":"2011 , Pinaki Chakraborty, P. C. Saxena, and C. P. Katti. 2011. Fifty Years of Automata Simulation: A Review . ACM Inroads , Vol. 2 , 4 (Dec. 2011), 59--70. https:\/\/doi.org\/10.1145\/2038876.2038893 10.1145\/2038876.2038893 2011, Pinaki Chakraborty, P. C. Saxena, and C. P. Katti. 2011. Fifty Years of Automata Simulation: A Review. ACM Inroads , Vol. 2, 4 (Dec. 2011), 59--70. https:\/\/doi.org\/10.1145\/2038876.2038893","journal-title":"ACM Inroads"},{"key":"e_1_3_2_1_6_1","volume-title":"Functional Programming Languages in Education , , Pieter H","author":"Clack Chris","unstructured":"Chris Clack and Colin Myers . 1995. The Dys-Functional Student . In Functional Programming Languages in Education , , Pieter H . Hartel and Rinus Plasmeijer (Eds.). Springer , 289--309. https:\/\/doi.org\/10.1007\/3--540--60675-0_51 10.1007\/3--540--60675-0_51 Chris Clack and Colin Myers. 1995. The Dys-Functional Student. In Functional Programming Languages in Education , , Pieter H. Hartel and Rinus Plasmeijer (Eds.). Springer, 289--309. https:\/\/doi.org\/10.1007\/3--540--60675-0_51"},{"key":"e_1_3_2_1_7_1","unstructured":"D'Antoni  D'Antoni"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings Part II (Lecture Notes in Computer Science","volume":"14","author":"D'Antoni Loris","year":"2020","unstructured":"2020, Loris D'Antoni , Martin Helfrich , Jan Kretinsky , Emanuel Ramneantu , and Maximilian Weininger . 2020 . Automata Tutor v3. In Computer Aided Verification , Proceedings Part II (Lecture Notes in Computer Science , Vol. 12225), S. K. Lahiri and C. Wang (Eds.). Springer, 3-- 14 . 2020, Loris D'Antoni, Martin Helfrich, Jan Kretinsky, Emanuel Ramneantu, and Maximilian Weininger. 2020. Automata Tutor v3. In Computer Aided Verification, Proceedings Part II (Lecture Notes in Computer Science, Vol. 12225), S. K. Lahiri and C. Wang (Eds.). Springer, 3--14."},{"key":"e_1_3_2_1_9_1","unstructured":"D'Antoni  D'Antoni"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"ACM Transactions on Computer-Human Interaction 2015 22 Loris D'Antoni Dileep Kini Rajeev Alur Sumit Gulwani Mahesh Viswanathan and Bj\u00f6rn Hartmann. 2015a. How Can Automatic Feedback Help Students Construct Automata 10.1145\/2723163","DOI":"10.1145\/2723163"},{"key":"e_1_3_2_1_11_1","unstructured":"D'Antoni  D'Antoni"},{"key":"e_1_3_2_1_12_1","first-page":"117","article-title":"Loris D'Antoni, Matthew Weavery, Alexander Weinert, and Rajeev Alur. 2015b. Automata Tutor and What We Learned from Building an Online Teaching Tool","volume":"3","year":"2015","unstructured":"2015 b, Loris D'Antoni, Matthew Weavery, Alexander Weinert, and Rajeev Alur. 2015b. Automata Tutor and What We Learned from Building an Online Teaching Tool . Bulletin of the EATCS , Vol. 3 , 117 (Oct. 2015). 2015b, Loris D'Antoni, Matthew Weavery, Alexander Weinert, and Rajeev Alur. 2015b. Automata Tutor and What We Learned from Building an Online Teaching Tool. Bulletin of the EATCS , Vol. 3, 117 (Oct. 2015).","journal-title":"Bulletin of the EATCS"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compedu.2020.104094"},{"key":"e_1_3_2_1_14_1","volume-title":"The Haskell Road to Logic, Maths and Programming","author":"Doets Kees","unstructured":"Kees Doets and Jan van Eijck . 2004. The Haskell Road to Logic, Maths and Programming . King's College Publ . Kees Doets and Jan van Eijck. 2004. The Haskell Road to Logic, Maths and Programming .King's College Publ."},{"key":"e_1_3_2_1_15_1","unstructured":"Douce  Douce"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Journal on Educational Resources in Computing (JERIC) 2005 5 Christopher Douce David Livingstone and James Orwell. 2005. Automatic Test-Based Assessment of Programming: A Review 10.1145\/1163405.1163409","DOI":"10.1145\/1163405.1163409"},{"key":"e_1_3_2_1_17_1","volume-title":"a Library for the Automata Theory Classroom. https:\/\/morazanm.github.io\/fsm\/ Retrieved","author":"Welcome","year":"2022","unstructured":"Welcome to FSM , a Library for the Automata Theory Classroom. https:\/\/morazanm.github.io\/fsm\/ Retrieved Apr 2022 . Welcome to FSM, a Library for the Automata Theory Classroom. https:\/\/morazanm.github.io\/fsm\/ Retrieved Apr 2022."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.4.373"},{"key":"e_1_3_2_1_20_1","volume-title":"Grok webpage. https:\/\/grokacademy.org\/ Retrieved","author":"Grok Academy","year":"2022","unstructured":"Grok Academy . 2022. Grok webpage. https:\/\/grokacademy.org\/ Retrieved Feb 2022 . Grok Academy. 2022. Grok webpage. https:\/\/grokacademy.org\/ Retrieved Feb 2022."},{"key":"e_1_3_2_1_21_1","first-page":"8","article-title":"Example-Based Learning in Computer-Aided STEM","volume":"57","author":"Gulwani Sumit","year":"2014","unstructured":"Sumit Gulwani . 2014 . Example-Based Learning in Computer-Aided STEM Education. Commun. ACM , Vol. 57 , 8 (Aug. 2014), 70--80. https:\/\/doi.org\/10.1145\/2634273 10.1145\/2634273 Sumit Gulwani. 2014. Example-Based Learning in Computer-Aided STEM Education. Commun. ACM , Vol. 57, 8 (Aug. 2014), 70--80. https:\/\/doi.org\/10.1145\/2634273","journal-title":"Education. Commun. ACM"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3102\/003465430298487"},{"key":"e_1_3_2_1_23_1","unstructured":"Peter B. Henderson. 2002. Functional and Declarative Languages for Learning Discrete Mathematics. In Proceedings of the International Workshop on Functional and Declarative Programming in Education Michael Hanus (Ed.). Available from https:\/\/www.informatik.uni-kiel.de\/ mh\/publications\/reports\/fdpe02\/.  Peter B. Henderson. 2002. Functional and Declarative Languages for Learning Discrete Mathematics. In Proceedings of the International Workshop on Functional and Declarative Programming in Education Michael Hanus (Ed.). Available from https:\/\/www.informatik.uni-kiel.de\/ mh\/publications\/reports\/fdpe02\/."},{"key":"e_1_3_2_1_24_1","first-page":"35","article-title":"Teaching Logic Using a State-of-the-Art Proof Assistant","volume":"3","author":"Hendriks Maxim","year":"2010","unstructured":"Maxim Hendriks , Cezary Kaliszyk , Femke Van Raamsdonk , and Freek Wiedijk . 2010 . Teaching Logic Using a State-of-the-Art Proof Assistant . Acta Didactica Napocensia , Vol. 3 , 2 (2010), 35 -- 48 . Maxim Hendriks, Cezary Kaliszyk, Femke Van Raamsdonk, and Freek Wiedijk. 2010. Teaching Logic Using a State-of-the-Art Proof Assistant. Acta Didactica Napocensia , Vol. 3, 2 (2010), 35--48.","journal-title":"Acta Didactica Napocensia"},{"key":"e_1_3_2_1_25_1","unstructured":"Hopcroft  Hopcroft"},{"key":"e_1_3_2_1_26_1","volume-title":"Ullman","author":"Hopcroft John E.","year":"2013","unstructured":"John E. Hopcroft , Rajeev Motwani , and Jeffrey D . Ullman . 2013 . Introduction to Automata Theory, Languages, and Computation third ed.). Pearson . John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. 2013. Introduction to Automata Theory, Languages, and Computation third ed.). Pearson."},{"key":"e_1_3_2_1_27_1","volume-title":"https:\/\/www.jflap.org\/ Retrieved","author":"JFLAP.","year":"2022","unstructured":"JFLAP. 2022. JFLAP Version 7.1. https:\/\/www.jflap.org\/ Retrieved Jan 2022 . JFLAP. 2022. JFLAP Version 7.1. https:\/\/www.jflap.org\/ Retrieved Jan 2022."},{"key":"e_1_3_2_1_28_1","volume-title":"Computability and Complexity from a Programming Perspective","author":"Jones Neil D.","unstructured":"Neil D. Jones . 1997. Computability and Complexity from a Programming Perspective . MIT Press . Neil D. Jones. 1997. Computability and Complexity from a Programming Perspective .MIT Press."},{"key":"e_1_3_2_1_29_1","volume-title":"The Design and Use of Tools for Teaching Logic . Ph.,D. Dissertation. Open Universiteit","author":"Lodder Josje","unstructured":"Josje Lodder . 2020. The Design and Use of Tools for Teaching Logic . Ph.,D. Dissertation. Open Universiteit , Heerlen, Netherlands . Josje Lodder. 2020. The Design and Use of Tools for Teaching Logic . Ph.,D. Dissertation. Open Universiteit, Heerlen, Netherlands."},{"key":"e_1_3_2_1_30_1","first-page":"1097","article-title":"A Domain Reasoner for Propositional Logic","volume":"22","author":"Lodder Josje","year":"2016","unstructured":"Josje Lodder , Bastiaan Heeren , and Johan Jeuring . 2016 . A Domain Reasoner for Propositional Logic . Journal of Universal Computer Science , Vol. 22 , 8 (2016), 1097 -- 1122 . Josje Lodder, Bastiaan Heeren, and Johan Jeuring. 2016. A Domain Reasoner for Propositional Logic. Journal of Universal Computer Science , Vol. 22, 8 (2016), 1097--1122.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_31_1","volume-title":"Logic and Maths for Computing","author":"Makinson David","unstructured":"David Makinson . 2020. Sets , Logic and Maths for Computing third ed.). Springer . David Makinson. 2020. Sets, Logic and Maths for Computing third ed.). Springer."},{"key":"e_1_3_2_1_32_1","unstructured":"Marceau  Marceau"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048237.2048241"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408877.3432398"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the Third International Workshop on Trends in Functional Programming in Education (TFPIE 2014)","author":"Marco","unstructured":"and Antunez(2014)]% fsm2014, Marco T. Moraz\u00e1n and Rosario Antunez. 2014. Functional Automata: Formal Languages for Computer Science Students . In Proceedings of the Third International Workshop on Trends in Functional Programming in Education (TFPIE 2014) (EPTCS, 170), , James Caldwell, Philip H\u00f6lzenspies, and Peter Achten (Eds.). 19--32. https:\/\/doi.org\/10.4204\/EPTCS.170.2 10.4204\/EPTCS.170.2 and Antunez(2014)]% fsm2014, Marco T. Moraz\u00e1n and Rosario Antunez. 2014. Functional Automata: Formal Languages for Computer Science Students. In Proceedings of the Third International Workshop on Trends in Functional Programming in Education (TFPIE 2014) (EPTCS, 170), , James Caldwell, Philip H\u00f6lzenspies, and Peter Achten (Eds.). 19--32. https:\/\/doi.org\/10.4204\/EPTCS.170.2"},{"key":"e_1_3_2_1_36_1","volume-title":"Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science","author":"Nipkow Tobias","unstructured":"Tobias Nipkow . 2012. Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs . In Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science , Vol. 7148), , V . Kuncak and A. Rybalchenko (Eds.). Springer , 24--38. https:\/\/doi.org\/10.1007\/978--3--642--27940--9_3 10.1007\/978--3--642--27940--9_3 Tobias Nipkow. 2012. Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs. In Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, Vol. 7148), , V. Kuncak and A. Rybalchenko (Eds.). Springer, 24--38. https:\/\/doi.org\/10.1007\/978--3--642--27940--9_3"},{"key":"e_1_3_2_1_37_1","volume-title":"Discrete Mathematics Using a Computer","author":"O'Donnell John","unstructured":"t almbox.(2006)]% ODonnell_Hall_Page2006, John O'Donnell , Cordelia Hall , and Rex Page . 2006. Discrete Mathematics Using a Computer . Springer . t almbox.(2006)]% ODonnell_Hall_Page2006, John O'Donnell, Cordelia Hall, and Rex Page. 2006. Discrete Mathematics Using a Computer .Springer."},{"key":"e_1_3_2_1_38_1","volume-title":"SPLASH Educators Symposium (SPLASH-E) .","author":"Osera Peter-Michael","year":"2013","unstructured":"Peter-Michael Osera and Steve Zdancewic . 2013 . Teaching Induction with Functional Programming and a Proof Assistant . In SPLASH Educators Symposium (SPLASH-E) . Peter-Michael Osera and Steve Zdancewic. 2013. Teaching Induction with Functional Programming and a Proof Assistant. In SPLASH Educators Symposium (SPLASH-E) ."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1518\/001872097778543886"},{"key":"e_1_3_2_1_40_1","unstructured":"Mirko Rahn and Johannes Waldmann. 2002. The Leipzig autotool System for Grading Student Homework. In Proceedings of the International Workshop on Functional and Declarative Programming in Education Michael Hanus (Ed.). Available from https:\/\/www.informatik.uni-kiel.de\/ mh\/publications\/reports\/fdpe02\/.  Mirko Rahn and Johannes Waldmann. 2002. The Leipzig autotool System for Grading Student Homework. In Proceedings of the International Workshop on Functional and Declarative Programming in Education Michael Hanus (Ed.). Available from https:\/\/www.informatik.uni-kiel.de\/ mh\/publications\/reports\/fdpe02\/."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1121341.1121459"},{"key":"e_1_3_2_1_42_1","volume-title":"mbox","author":"Kate Sanders","year":"2013","unstructured":"Kate Sanders et al mbox . 2013 . The Canterbury QuestionBank: Building a Repository of Multiple-Choice CS1 and CS2 Questions. In Working Group Reports from the Conference on Innovation and Technology in Computer Science Education . ACM, 33--52. https:\/\/doi.org\/10.1145\/2543882.2543885 10.1145\/2543882.2543885 Kate Sanders et almbox. 2013. The Canterbury QuestionBank: Building a Repository of Multiple-Choice CS1 and CS2 Questions. In Working Group Reports from the Conference on Innovation and Technology in Computer Science Education . ACM, 33--52. https:\/\/doi.org\/10.1145\/2543882.2543885"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00302715"},{"key":"e_1_3_2_1_44_1","volume-title":"Introduction to the Theory of Computation","author":"Sipser Michael","unstructured":"Michael Sipser . 2012. Introduction to the Theory of Computation third ed.). Cengage Learning . Michael Sipser. 2012. Introduction to the Theory of Computation third ed.). Cengage Learning."},{"key":"e_1_3_2_1_45_1","volume-title":"Logic for Fun: An Online Tool for Logical Modelling. The IfColog Journal of Logics and their Applications (FLAP)","author":"Slaney John","year":"2017","unstructured":"John Slaney . 2017. Logic for Fun: An Online Tool for Logical Modelling. The IfColog Journal of Logics and their Applications (FLAP) , Vol. 4 , 1 ( 2017 ), 171--192. John Slaney. 2017. Logic for Fun: An Online Tool for Logical Modelling. The IfColog Journal of Logics and their Applications (FLAP) , Vol. 4, 1 (2017), 171--192."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411260.1411267"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3078325"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1080\/00461520.2011.611369"},{"key":"e_1_3_2_1_50_1","volume-title":"Automated Exercises for Constraint Programming. In 28th Workshop on (Constraint) Logic Programming (WLP","year":"2014","unstructured":"ohannes Waldmann. 2014 . Automated Exercises for Constraint Programming. In 28th Workshop on (Constraint) Logic Programming (WLP 2014). 66--80. ohannes Waldmann. 2014. Automated Exercises for Constraint Programming. In 28th Workshop on (Constraint) Logic Programming (WLP 2014). 66--80."},{"key":"e_1_3_2_1_51_1","unstructured":"Johannes Waldmann. 2015. Automatisierte Bewertung und Erzeugung von \u00dc bungsaufgaben zu Prinzipien von Programmiersprachen. In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015) (P\u00f6rtschach Austria).  Johannes Waldmann. 2015. Automatisierte Bewertung und Erzeugung von \u00dc bungsaufgaben zu Prinzipien von Programmiersprachen. In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015) (P\u00f6rtschach Austria)."},{"key":"e_1_3_2_1_52_1","volume-title":"Proceedings of the Third Workshop \u201cAutomatische Bewertung von Programmieraufgaben\u201d (ABP2017)","volume":"2015","author":"Waldmann Johannes","year":"2017","unstructured":"Johannes Waldmann . 2017 a. Automatische Erzeugung und Bewertung von Aufgaben zu Algorithmen und Datenstrukturen . In Proceedings of the Third Workshop \u201cAutomatische Bewertung von Programmieraufgaben\u201d (ABP2017) (Potsdam, Germany) , Vol. 2015 . http:\/\/ceur-ws.org\/Vol-2015\/#ABP2017_paper_02 Johannes Waldmann. 2017a. Automatische Erzeugung und Bewertung von Aufgaben zu Algorithmen und Datenstrukturen. In Proceedings of the Third Workshop \u201cAutomatische Bewertung von Programmieraufgaben\u201d (ABP2017) (Potsdam, Germany), Vol. 2015. http:\/\/ceur-ws.org\/Vol-2015\/#ABP2017_paper_02"},{"key":"e_1_3_2_1_53_1","volume-title":"How I Teach Functional Programming. In Workshop on Functional Logic Programming (WFLP 2017)","author":"Waldmann Johannes","year":"2017","unstructured":", Johannes Waldmann . 2017 b. How I Teach Functional Programming. In Workshop on Functional Logic Programming (WFLP 2017) (W\u00fcrzburg, Germany). , Johannes Waldmann. 2017b. How I Teach Functional Programming. In Workshop on Functional Logic Programming (WFLP 2017) (W\u00fcrzburg, Germany)."},{"key":"e_1_3_2_1_54_1","volume-title":"Leipzig Autotool webpage. https:\/\/www.imn.htwk-leipzig.de\/ waldmann\/autotool\/. Retrieved","author":"Waldmann Johannes","year":"2022","unstructured":"Johannes Waldmann . 2022. Leipzig Autotool webpage. https:\/\/www.imn.htwk-leipzig.de\/ waldmann\/autotool\/. Retrieved Jan 2022 . Johannes Waldmann. 2022. Leipzig Autotool webpage. https:\/\/www.imn.htwk-leipzig.de\/ waldmann\/autotool\/. Retrieved Jan 2022."},{"key":"e_1_3_2_1_55_1","volume-title":"Formal Language: A Practical Introduction .Franklin, Beedle & Associates","author":"Webber Adam Brooks","year":"2008","unstructured":"Adam Brooks Webber . 2008 . Formal Language: A Practical Introduction .Franklin, Beedle & Associates , Inc . Adam Brooks Webber. 2008. Formal Language: A Practical Introduction .Franklin, Beedle & Associates, Inc."}],"event":{"name":"ITiCSE 2022: Innovation and Technology in Computer Science Education","location":"Dublin Ireland","acronym":"ITiCSE 2022","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3502718.3524814","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3502718.3524814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:47Z","timestamp":1750183787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3502718.3524814"}},"subtitle":["Logic and Computation from a Programming Perspective"],"short-title":[],"issued":{"date-parts":[[2022,7,7]]},"references-count":54,"alternative-id":["10.1145\/3502718.3524814","10.1145\/3502718"],"URL":"https:\/\/doi.org\/10.1145\/3502718.3524814","relation":{},"subject":[],"published":{"date-parts":[[2022,7,7]]},"assertion":[{"value":"2022-07-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}