{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T21:18:17Z","timestamp":1764364697531,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T00:00:00Z","timestamp":1729123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,17]]},"DOI":"10.1145\/3689493.3689978","type":"proceedings-article","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T09:12:11Z","timestamp":1729156331000},"page":"23-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Using Computation Graphs to Explain Nondeterminism to Students"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4670-6116","authenticated-orcid":false,"given":"Marco T.","family":"Moraz\u00e1n","sequence":"first","affiliation":[{"name":"Seton Hall University, South Orange, USA"}],"role":[{"role":"author","vocab":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9674-2616","authenticated-orcid":false,"given":"Oliwia","family":"Kempinski","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, USA"}],"role":[{"role":"author","vocab":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,17]]},"reference":[{"volume-title":"Implementing Domain-Specific Languages with Xtext and Xtend","author":"Bettini L.","key":"e_1_3_2_1_1_1","unstructured":"L. Bettini. 2016. Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing. isbn:9781786463272"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502718.3524742"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127323"},{"key":"e_1_3_2_1_4_1","volume-title":"d.]. The Racket Reference. https:\/\/docs.racket-lang.org\/reference\/index.html Last accessed","author":"Flatt Matthew","year":"2023","unstructured":"Matthew Flatt and PLT. [n. d.]. The Racket Reference. https:\/\/docs.racket-lang.org\/reference\/index.html Last accessed: November 2023"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.221135"},{"key":"e_1_3_2_1_6_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_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321254"},{"volume-title":"An Introduction to the Theory of Computation","author":"Gurari Eitan M.","key":"e_1_3_2_1_8_1","unstructured":"Eitan M. Gurari. 1989. An Introduction to the Theory of Computation. Computer Science Press. isbn:0-7167-8182-4"},{"key":"e_1_3_2_1_9_1","volume-title":"Ullman","author":"Hopcroft John E.","year":"2006","unstructured":"John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. 2006. Introduction to Automata Theory, Languages, and Computation (3rd Edition). Addison-Wesley Longman Publishing Co., Inc., USA. isbn:0321455363"},{"key":"e_1_3_2_1_10_1","unstructured":"A. Kleppe. 2008. Software Language Engineering: Creating Domain-Specific Languages Using Metamodels. Pearson Education. isbn:9780321606464"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.18260\/1-2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/300307.1040360"},{"key":"e_1_3_2_1_13_1","first-page":"1","article-title":"A Technique for the Measurement of Attitudes","volume":"140","author":"Likert Rensis","year":"1932","unstructured":"Rensis Likert. 1932. A Technique for the Measurement of Attitudes. Archives of Psychology, 140 (1932), 1\u201355.","journal-title":"Archives of Psychology"},{"key":"e_1_3_2_1_14_1","volume-title":"An Introduction to Formal Languages and Automata","author":"Linz Peter","unstructured":"Peter Linz. 2011. An Introduction to Formal Languages and Automata (5th ed.). Jones and Bartlett Publishers, Inc., USA. isbn:9781449615529","edition":"5"},{"key":"e_1_3_2_1_15_1","volume-title":"Introduction to Languages and the Theory of Computation (3 ed.)","author":"Martin John C.","year":"2004","unstructured":"John C. Martin. 2003. Introduction to Languages and the Theory of Computation (3 ed.). McGraw-Hill, Inc., New York, NY, USA. isbn:0072322004, 9780072322002"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372782.3406264"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3328778.3372711"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-43973-5"},{"volume-title":"Automata, Computability and Complexity: Theory and Applications","author":"Rich Elaine","key":"e_1_3_2_1_19_1","unstructured":"Elaine Rich. 2019. Automata, Computability and Complexity: Theory and Applications. Pearson Prentice Hall. isbn:9780132288064"},{"key":"e_1_3_2_1_20_1","volume-title":"JFLAP: An Interactive Formal Languages and Automata Package","author":"Rodger Susan H.","year":"2006","unstructured":"Susan H. Rodger. 2006. JFLAP: An Interactive Formal Languages and Automata Package. Jones and Bartlett Publishers, Inc., USA. isbn:0763738344"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1121341.1121459"},{"key":"e_1_3_2_1_22_1","volume-title":"Introduction to the Theory of Computation","author":"Sipser Michael","year":"1877","unstructured":"Michael Sipser. 2013. Introduction to the Theory of Computation (3rd ed.). Cengage Learning. isbn:9781133187790","edition":"3"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the Fifth Australasian Conference on Computing Education -","volume":"20","author":"Venables Anne","year":"2003","unstructured":"Anne Venables and Liz Haywood. 2003. Programming Students NEED Instant Feedback!. In Proceedings of the Fifth Australasian Conference on Computing Education - Volume 20 (ACE \u201903). Australian Computer Society, Inc., AUS. 267\u2013272. isbn:0909925984"},{"key":"e_1_3_2_1_24_1","volume-title":"Fernando Silva Parreiras, and Steffen Staab","author":"Walter Tobias","year":"2009","unstructured":"Tobias Walter, Fernando Silva Parreiras, and Steffen Staab. 2009. OntoDSL: An Ontology-Based Framework for Domain-Specific Languages. In Model Driven Engineering Languages and Systems, Andy Sch\u00fcrr and Bran Selic (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 408\u2013422. isbn:978-3-642-04425-0"}],"event":{"name":"SPLASH-E '24: 2024 ACM SIGPLAN International Symposium on SPLASH-E","sponsor":["SIGPLAN SIGPLAN","SIGAda SIGAda"],"location":"Pasadena CA USA","acronym":"SPLASH-E '24"},"container-title":["Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689493.3689978","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689493.3689978","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:46Z","timestamp":1750295386000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689493.3689978"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,17]]},"references-count":24,"alternative-id":["10.1145\/3689493.3689978","10.1145\/3689493"],"URL":"https:\/\/doi.org\/10.1145\/3689493.3689978","relation":{},"subject":[],"published":{"date-parts":[[2024,10,17]]},"assertion":[{"value":"2024-10-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}