{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:02:48Z","timestamp":1755219768892,"version":"3.43.0"},"reference-count":17,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.424.6","type":"journal-article","created":{"date-parts":[[2025,8,4]],"date-time":"2025-08-04T11:17:52Z","timestamp":1754306272000},"page":"109-129","source":"Crossref","is-referenced-by-count":0,"title":["Intent Preserving Generation of Diverse and Idiomatic (Code-)Artifacts"],"prefix":"10.4204","volume":"424","author":[{"given":"Oliver","family":"Westphal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2025,8,6]]},"reference":[{"key":"cambaz2024","series-title":"SIGCSE 2024","doi-asserted-by":"publisher","DOI":"10.1145\/3626252.3630958","article-title":"Use of AI-driven Code Generation Models in Teaching and Learning Programming: a Systematic Literature Review","volume-title":"Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1","author":"Cambaz","year":"2024"},{"issue":"2250","key":"foley2021","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.2021.0099","article-title":"Operads for complex system design specification, analysis and synthesis","volume":"477","author":"Foley","year":"2021","journal-title":"Proceedings of the Royal Society A"},{"key":"fong_spivak_2019","doi-asserted-by":"publisher","DOI":"10.1017\/9781108668804","volume-title":"An Invitation to Applied Category Theory: Seven Sketches in Compositionality","author":"Fong","year":"2019"},{"key":"gerdes2017","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s40593-015-0080-x","article-title":"Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback","volume":"27","author":"Gerdes","year":"2017","journal-title":"International Journal of Artificial Intelligence in Education"},{"key":"heeren2010","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s11786-010-0027-4","article-title":"Specifying Rewrite Strategies for Interactive Exercises","volume":"3","author":"Heeren","year":"2010","journal-title":"Mathematics in Computer Science"},{"key":"kitzelmann2010","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-11931-6_3","article-title":"Inductive Programming: A Survey of Program Synthesis Techniques","volume-title":"Approaches and Applications of Inductive Programming","author":"Kitzelmann","year":"2010"},{"issue":"3","key":"triet2020","doi-asserted-by":"publisher","DOI":"10.1145\/3383458","article-title":"Deep Learning for Source Code Modeling and Generation: Models, Applications, and Challenges","volume":"53","author":"Le","year":"2020","journal-title":"ACM Computing Surveys"},{"key":"leinster2004","series-title":"London Mathematical Society Lecture Note Series","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.321.2","volume-title":"Higher Operads, Higher Categories","author":"Leinster","year":"2004"},{"key":"sarsa2020","series-title":"ICER '22","doi-asserted-by":"publisher","DOI":"10.1145\/3501385.3543957","article-title":"Automatic Generation of Programming Exercises and Code Explanations Using Large Language Models","volume-title":"Proceedings of the 2022 ACM Conference on International Computing Education Research - Volume 1","author":"Sarsa","year":"2022"},{"key":"selinger2011","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-12821-9_4","article-title":"A Survey of Graphical Languages for Monoidal Categories","author":"Selinger","year":"2011","journal-title":"New Structures for Physics"},{"key":"shah2002","series-title":"ITiCSE '02","doi-asserted-by":"publisher","DOI":"10.1145\/544414.544464","article-title":"A tutoring system for parameter passing in programming languages","volume-title":"Proceedings of the 7th Annual Conference on Innovation and Technology in Computer Science Education","author":"Shah","year":"2002"},{"key":"spivak2013","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1305.0297","article-title":"The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits","author":"Spivak","year":"2013","journal-title":"Preprint"},{"key":"syriani2018","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.cl.2017.11.003","article-title":"Systematic mapping study of template-based code generation","volume":"52","author":"Syriani","year":"2018","journal-title":"Computer Languages, Systems & Structures"},{"key":"thomas2019","series-title":"SIGCSE '19","doi-asserted-by":"publisher","DOI":"10.1145\/3287324.3287492","article-title":"Stochastic Tree-Based Generation of Program-Tracing Practice Questions","volume-title":"Proceedings of the 50th ACM Technical Symposium on Computer Science Education","author":"Thomas","year":"2019"},{"key":"wflp20-paper","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-030-75333-7_6","article-title":"A Framework for Generating Diverse Haskell-I\/O Exercise Tasks","volume-title":"Functional and Constraint Logic Programming","volume":"12560","author":"Westphal","year":"2021"},{"key":"tfpie19-paper","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"19","DOI":"10.4204\/eptcs.321.2","article-title":"Describing Console I\/O Behavior for Testing Student Submissions in Haskell","volume-title":"Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education","volume":"321","author":"Westphal","year":"2020"},{"key":"flops20-paper","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-030-59025-3_11","article-title":"Implementing, and Keeping in Check, a DSL Used in E-Learning","volume-title":"Proceedings of the 15th International Symposium on Functional and Logic Programming","volume":"12073","author":"Westphal","year":"2020"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T08:15:43Z","timestamp":1754554543000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2508.03642v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.4204\/eptcs.424.6","relation":{},"ISSN":["2075-2180"],"issn-type":[{"type":"electronic","value":"2075-2180"}],"subject":[],"published":{"date-parts":[[2025,8,6]]}}}