{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:11Z","timestamp":1772164031554,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,12]],"date-time":"2014-06-12T00:00:00Z","timestamp":1402531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004955","name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","doi-asserted-by":"publisher","award":["827485"],"award-info":[{"award-number":["827485"]}],"id":[{"id":"10.13039\/501100004955","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,12]]},"DOI":"10.1145\/2597809.2597813","type":"proceedings-article","created":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T08:50:25Z","timestamp":1402390225000},"page":"13-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["CASM"],"prefix":"10.1145","author":[{"given":"Roland","family":"Lezuo","sequence":"first","affiliation":[{"name":"Vienna University of Technology, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Paulweber","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Krall","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345232"},{"key":"e_1_3_2_1_2_1","volume-title":"Techniques, & Tools","author":"Aho A. V.","year":"2007","unstructured":"A. V. Aho , M. Lam , R. Sethi , and J. Ullman . Compilers: Principles , Techniques, & Tools . Addison-Wesley , 2007 . ISBN 978-0321547989. A. V. Aho, M. Lam, R. Sethi, and J. Ullman. Compilers: Principles, Techniques, & Tools. Addison-Wesley, 2007. ISBN 978-0321547989."},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/3-540-44518-8_6","volume-title":"Component-Based Abstract State Machines Language","author":"Anlauff M.","year":"2000","unstructured":"M. Anlauff . XASM- An Extensible , Component-Based Abstract State Machines Language . In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, Abstract State Machines - Theory and Applications, volume 1912 of Lecture Notes in Computer Science , pages 69 -- 90 .Springer Berlin Heidelberg, 2000 . ISBN 978--3--540--67959--2. M. Anlauff. XASM- An Extensible, Component-Based Abstract State Machines Language. In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, Abstract State Machines - Theory and Applications, volume 1912 of Lecture Notes in Computer Science, pages 69--90.Springer Berlin Heidelberg, 2000. ISBN 978--3--540--67959--2."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2009.32"},{"key":"e_1_3_2_1_5_1","first-page":"264","volume-title":"FATES 2003","volume":"2931","author":"Barnett M.","year":"2003","unstructured":"M. Barnett , W. Grieskamp , L. Nachmanson , W. Schulte , N. Tillmann , and M. Veanes . Towards a tool environment for model-based testing with AsmL. In Formal Approaches to Software Testing , FATES 2003 , volume 2931 of LNCS, pages 264 -- 280 . Springer , 2003 . M. Barnett, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes. Towards a tool environment for model-based testing with AsmL. In Formal Approaches to Software Testing, FATES 2003, volume 2931 of LNCS, pages 264--280. Springer, 2003."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/169073.169083"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/647850.737241"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6859-2_29"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646485.694460"},{"key":"e_1_3_2_1_10_1","first-page":"1","article-title":"CoreASM: An extensible ASM execution engine","volume":"77","author":"Farahbod R.","year":"2007","unstructured":"R. Farahbod , V. Gervasi , and U. Gl\u00e4sser . CoreASM: An extensible ASM execution engine . Fundamenta Informaticae , 77 : 1 -- 33 , 2007 . R. Farahbod, V. Gervasi, and U. Gl\u00e4sser. CoreASM: An extensible ASM execution engine. Fundamenta Informaticae, 77:1--33, 2007.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_11_1","first-page":"244","volume-title":"10th International Workshop, ASM 2003","author":"Fruja N. G.","year":"2003","unstructured":"N. G. Fruja and R. F. St\u00e4rk . The hidden computation steps of Turbo Abstract State Machines. In Abstract State Machines -- Advances in Theory and Applications , 10th International Workshop, ASM 2003 , pages 244 -- 262 . Springer-Verlag , 2003 . N. G. Fruja and R. F. St\u00e4rk. The hidden computation steps of Turbo Abstract State Machines. In Abstract State Machines -- Advances in Theory and Applications, 10th International Workshop, ASM 2003, pages 244--262. Springer-Verlag, 2003."},{"key":"e_1_3_2_1_12_1","first-page":"9","volume-title":"Evolving algebras 1993: Lipari guide","author":"Gurevich Y.","year":"1995","unstructured":"Y. Gurevich . Evolving algebras 1993: Lipari guide , pages 9 -- 36 . Oxford University Press, Inc. , New York, NY, USA , 1995 . Y. Gurevich. Evolving algebras 1993: Lipari guide, pages 9--36. Oxford University Press, Inc., New York, NY, USA, 1995."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.11.010"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.06.017"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1128020.1128563"},{"key":"e_1_3_2_1_16_1","volume-title":"The static and dynamic semantics of C","author":"Huggins J. K.","year":"2000","unstructured":"J. K. Huggins and W. Shen . The static and dynamic semantics of C , 2000 . J. K. Huggins and W. Shen. The static and dynamic semantics of C, 2000."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2432516.2432522"},{"key":"e_1_3_2_1_19_1","volume-title":"Software Engineering 2013 Workshopband, 26","volume":"215","author":"Lezuo R.","year":"2013","unstructured":"R. Lezuo , G. Barany , and A. Krall . CASM: Implementing an Abstract State Machine based Programming Language. In S. Wagner and H. Lichter, editors , Software Engineering 2013 Workshopband, 26 . Februar - 1. M\u00e4rz 2013 in Aachen, volume 215 of GI Edition - Lecture Notes in Informatics, pages 75--90, February 2013. ISBN 978--3- 88579--609--1. (6. Arbeitstagung Programmiersprachen (ATPS'13)). R. Lezuo, G. Barany, and A. Krall. CASM: Implementing an Abstract State Machine based Programming Language. In S. Wagner and H. Lichter, editors, Software Engineering 2013 Workshopband, 26. Februar - 1. M\u00e4rz 2013 in Aachen, volume 215 of GI Edition - Lecture Notes in Informatics, pages 75--90, February 2013. ISBN 978--3- 88579--609--1. (6. Arbeitstagung Programmiersprachen (ATPS'13))."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1000449"},{"key":"e_1_3_2_1_21_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/978-3-540-24644-2_25","volume-title":"Languages and Compilers for Parallel Computing","author":"Praun C.","year":"2004","unstructured":"C. Praun , F. Schneider , and T. Gross . Load elimination in the presence of side effects, concurrency and precise exceptions . In L. Rauchwerger, editor, Languages and Compilers for Parallel Computing , volume 2958 of Lecture Notes in Computer Science , pages 390 -- 404 . Springer Berlin Heidelberg , 2004 . ISBN 978--3--540--21199-0. C. Praun, F. Schneider, and T. Gross. Load elimination in the presence of side effects, concurrency and precise exceptions. In L. Rauchwerger, editor, Languages and Compilers for Parallel Computing, volume 2958 of Lecture Notes in Computer Science, pages 390--404. Springer Berlin Heidelberg, 2004. ISBN 978--3--540--21199-0."},{"key":"e_1_3_2_1_22_1","unstructured":"J. Schmid. Introduction to AsmGofer 2001. URL http:\/\/www.tydo.de\/AsmGofer.  J. Schmid. Introduction to AsmGofer 2001. URL http:\/\/www.tydo.de\/AsmGofer."},{"issue":"11","key":"e_1_3_2_1_23_1","first-page":"1068","article-title":"Compiling abstract state machines to C++","volume":"7","author":"Schmid J.","year":"2001","unstructured":"J. Schmid . Compiling abstract state machines to C++ . Journal of Universal Computer Science , 7 ( 11 ): 1068 -- 1087 , 2001 . J. Schmid. Compiling abstract state machines to C++. Journal of Universal Computer Science, 7(11):1068--1087, 2001.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/647752.734556"}],"event":{"name":"LCTES '14: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014","location":"Edinburgh United Kingdom","acronym":"LCTES '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 2014 SIGPLAN\/SIGBED conference on Languages, compilers and tools for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2597809.2597813","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2597809.2597813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:00:50Z","timestamp":1750215650000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2597809.2597813"}},"subtitle":["optimized compilation of abstract state machines"],"short-title":[],"issued":{"date-parts":[[2014,6,12]]},"references-count":23,"alternative-id":["10.1145\/2597809.2597813","10.1145\/2597809"],"URL":"https:\/\/doi.org\/10.1145\/2597809.2597813","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2666357.2597813","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,6,12]]},"assertion":[{"value":"2014-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}