{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T21:23:15Z","timestamp":1766179395139,"version":"3.48.0"},"reference-count":25,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T00:00:00Z","timestamp":1766102400000},"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":["Commun. ACM"],"published-print":{"date-parts":[[2026,1]]},"DOI":"10.1145\/3747584","type":"journal-article","created":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T17:24:12Z","timestamp":1766078652000},"page":"93-101","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation"],"prefix":"10.1145","volume":"69","author":[{"given":"Christophe","family":"Garion","sequence":"first","affiliation":[{"name":"ISAE-SUPAERO, University of Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L\u00e9lio","family":"Brun","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Lo\u00efc","family":"Garoche","sequence":"additional","affiliation":[{"name":"ENAC, University of Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Thirioux","sequence":"additional","affiliation":[{"name":"ISAE-SUPAERO, University of Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,12,19]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"crossref","unstructured":"Amjad H.M. et al. Translation validation of code generation from the SIGNAL Data-Flow Language to Verilog. In 2019 15th Intern. Conf. on Semantics Knowledge and Grids\u00a0(Sept. 2019) \u00a0153\u2013160.","DOI":"10.1109\/SKG49510.2019.00034"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3470569"},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/9.53519"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/1375657.1375674"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192406"},{"key":"e_1_3_1_7_2","unstructured":"Bourbouh H. et al. CoCoSim a code generation framework for control\/command applications: An overview of CoCoSim for multi-periodic discrete Simulink models. In Embedded Real Time Systems (ERTS) 2020\u00a0(2020)."},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3371112"},{"issue":"5","key":"e_1_3_1_9_2","first-page":"151:1","article-title":"Equation-directed axiomatization of Lustre semantics to enable optimized code validation","author":"Brun L.","year":"2023","unstructured":"Brun, L., Garion, C., Garoche, P.-L., and Thirioux, X. Equation-directed axiomatization of Lustre semantics to enable optimized code validation. ACM Transactions on Embedded Computing Systems 22,\u00a05s\u00a0(Sept. 2023), 151:1\u2013151:24.","journal-title":"ACM Transactions on Embedded Computing Systems 22"},{"key":"e_1_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Caspi P. Pilaud D. Halbwachs N. and Plaice J. A. LUSTRE: A declarative language for programming synchronous systems. In In 14th Symp. on Principles of Programming Languages (POPL\u201987). ACM POPL\u201987 1987.","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0170-3"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_29"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19195-9_5"},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48628-4_3"},{"key":"e_1_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Cola\u00e7o J.-L. Pagano B. and Pouzet M. SCADE 6: A formal language for embedded critical software development. In 2017 Intern. Symp. on Theoretical Aspects of Software Engineering (TASE) TASE\u201917 2017 1\u201311.","DOI":"10.1109\/TASE.2017.8285623"},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_10"},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60508-7_24"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.5555\/1517424.1517439"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054170"},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.5555\/646252.686146"},{"key":"e_1_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48092-7_11"},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_57"},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-016-9270-0"},{"key":"e_1_3_1_25_2","volume-title":"ERTS2 2010, Embedded Real Time Software & Systems","author":"Toom A.","year":"2010","unstructured":"Toom, A. et al. Towards reliable code generation with an open tool: Evolutions of the Gene-Auto toolset. In ERTS2 2010, Embedded Real Time Software & Systems\u00a0Toulouse, France, (2010)."},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-015-4364-y"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3747584","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T21:20:20Z","timestamp":1766179220000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747584"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,19]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,1]]}},"alternative-id":["10.1145\/3747584"],"URL":"https:\/\/doi.org\/10.1145\/3747584","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"type":"print","value":"0001-0782"},{"type":"electronic","value":"1557-7317"}],"subject":[],"published":{"date-parts":[[2025,12,19]]},"assertion":[{"value":"2025-12-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}