{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:06:30Z","timestamp":1750309590412,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,26]],"date-time":"2024-08-26T00:00:00Z","timestamp":1724630400000},"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,8,26]]},"DOI":"10.1145\/3723325.3723337","type":"proceedings-article","created":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T10:54:18Z","timestamp":1746183258000},"page":"13-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Implementation of FSM Computation Graphs"],"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, New Jersey, 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, Maryland, USA"}],"role":[{"role":"author","vocab":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-4416-4616","authenticated-orcid":false,"given":"Andr\u00e9s M.","family":"Garced","sequence":"additional","affiliation":[{"name":"Seton Hall University, South Orange, New Jersey, USA"}],"role":[{"role":"author","vocab":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,2]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.5555\/3074444"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3502718.3524742"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","unstructured":"Matthias Felleisen Robert\u00a0Bruce Findler Matthew Flatt Shriram Krishnamurthi Eli Barsilay Jay McCarthy and Sam Tobin-Hochstadt. 2018. A Programmable Programming Language. Commun. ACM 61 13 (March 2018) 62\u201371. https:\/\/doi.org\/10.1145\/3127223","DOI":"10.1145\/3127323"},{"key":"e_1_3_3_2_5_2","volume-title":"The Racket Reference","author":"Flatt Matthew","year":"2024","unstructured":"Matthew Flatt, Robert\u00a0Bruce Findler, and PLT. 2024. The Racket Reference. PLT. https:\/\/docs.racket-lang.org\/reference\/index.html Last accessed: June 2024."},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"crossref","unstructured":"E.R. Gansner E. Koutsofios S.C. North and K.-P. Vo. 1993. A technique for drawing directed graphs. IEEE Transactions on Software Engineering 19 3 (1993) 214\u2013230. https:\/\/doi.org\/10.1109\/32.221135","DOI":"10.1109\/32.221135"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"crossref","unstructured":"Emden\u00a0R. Gansner and Stephen\u00a0C. North. 2000. An Open Graph Visualization System and Its Applications to Software Engineering. Softw. Pract. Exper. 30 11 (sep 2000) 1203\u20131233. https:\/\/doi.org\/10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"crossref","unstructured":"Sheila\u00a0A. Greibach. 1965. A New Normal-Form Theorem for Context-Free Phrase Structure Grammars. J. ACM 12 (1965) 42\u201352.","DOI":"10.1145\/321250.321254"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.5555\/534716"},{"key":"e_1_3_3_2_10_2","volume-title":"Introduction to Automata Theory, Languages, and Computation (3rd Edition)","author":"Hopcroft John\u00a0E.","year":"2006","unstructured":"John\u00a0E. Hopcroft, Rajeev Motwani, and Jeffrey\u00a0D. Ullman. 2006. Introduction to Automata Theory, Languages, and Computation (3rd Edition). Addison-Wesley Longman Publishing Co., Inc., USA."},{"key":"e_1_3_3_2_11_2","volume-title":"Software Language Engineering: Creating Domain-Specific Languages Using Metamodels","author":"Kleppe A.","year":"2008","unstructured":"A. Kleppe. 2008. Software Language Engineering: Creating Domain-Specific Languages Using Metamodels. Pearson Education."},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.18260\/1-2--33235"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.5555\/549820"},{"key":"e_1_3_3_2_14_2","unstructured":"Rensis Likert. 1932. A Technique for the Measurement of Attitudes. Archives of Psychology 140 (1932) 1\u201355."},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.5555\/1995326"},{"key":"e_1_3_3_2_16_2","volume-title":"Introduction to Languages and the Theory of Computation (3 ed.)","author":"Martin John\u00a0C.","year":"2003","unstructured":"John\u00a0C. Martin. 2003. Introduction to Languages and the Theory of Computation (3 ed.). McGraw-Hill, Inc., New York, NY, USA."},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3372782.3406264"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3328778.3372711"},{"key":"e_1_3_3_2_19_2","volume-title":"Programming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove","author":"Moraz\u00e1n Marco\u00a0T.","year":"2024","unstructured":"Marco\u00a0T. Moraz\u00e1n. 2024. Programming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove. Springer. https:\/\/doi.org\/10.1007\/978-3-031-43973-5"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"crossref","unstructured":"Marco\u00a0T. Moraz\u00e1n Joshua\u00a0M. Schappel and Sachin Mahashabde. 2020. Visual Designing and Debugging of Deterministic Finite-State Machines in FSM. Electronic Proceedings in Theoretical Computer Science 321 (aug 2020) 55\u201377. https:\/\/doi.org\/10.4204\/eptcs.321.4","DOI":"10.4204\/EPTCS.321.4"},{"key":"e_1_3_3_2_21_2","volume-title":"Automata, Computability and Complexity: Theory and Applications","author":"Rich Elaine","year":"2019","unstructured":"Elaine Rich. 2019. Automata, Computability and Complexity: Theory and Applications. Pearson Prentice Hall."},{"key":"e_1_3_3_2_22_2","volume-title":"JFLAP: An Interactive Formal Languages and Automata Package","author":"Rodger Susan\u00a0H.","year":"2006","unstructured":"Susan\u00a0H. Rodger. 2006. JFLAP: An Interactive Formal Languages and Automata Package. Jones and Bartlett Publishers, Inc., USA."},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/1121341.1121459"},{"key":"e_1_3_3_2_24_2","volume-title":"Introduction to the Theory of Computation (3rd ed.)","author":"Sipser Michael","year":"2013","unstructured":"Michael Sipser. 2013. Introduction to the Theory of Computation (3rd ed.). Cengage Learning."},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.5555\/858403.858436"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_32"}],"event":{"name":"IFL 2024: Proceedings of the 36th Symposium on Implementation and Application of Functional Languages","acronym":"IFL 2024","location":"Nijmegen Netherlands"},"container-title":["Proceedings of the 36th Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723325.3723337","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3723325.3723337","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:56:48Z","timestamp":1750298208000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723325.3723337"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,26]]},"references-count":25,"alternative-id":["10.1145\/3723325.3723337","10.1145\/3723325"],"URL":"https:\/\/doi.org\/10.1145\/3723325.3723337","relation":{},"subject":[],"published":{"date-parts":[[2024,8,26]]},"assertion":[{"value":"2025-05-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}