{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T00:48:30Z","timestamp":1773190110892,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":69,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523713","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"657-670","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra"],"prefix":"10.1145","author":[{"given":"Yuxiang","family":"Peng","sequence":"first","affiliation":[{"name":"University of Maryland, USA"}]},{"given":"Mingsheng","family":"Ying","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ Tsinghua University, China"}]},{"given":"Xiaodi","family":"Wu","sequence":"additional","affiliation":[{"name":"University of Maryland, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Lukas Svec, Oana Catu, Amlan Chakrabati, Chen-Fu Chiang, Seth Vanderwilt, John Black, Fred Chong, Margaret Martonosi, Martin Suchara, Ken Brown, Massoud Pedram, and Todd Brun.","author":"Abhari Ali Javadi","year":"2012","unstructured":"Ali Javadi Abhari , Arvin Faruque , Mohammad Javad Dousti , Lukas Svec, Oana Catu, Amlan Chakrabati, Chen-Fu Chiang, Seth Vanderwilt, John Black, Fred Chong, Margaret Martonosi, Martin Suchara, Ken Brown, Massoud Pedram, and Todd Brun. 2012 . Scaffold : Quantum Programming Language. Princeton University . Ali Javadi Abhari, Arvin Faruque, Mohammad Javad Dousti, Lukas Svec, Oana Catu, Amlan Chakrabati, Chen-Fu Chiang, Seth Vanderwilt, John Black, Fred Chong, Margaret Martonosi, Martin Suchara, Ken Brown, Massoud Pedram, and Todd Brun. 2012. Scaffold: Quantum Programming Language. Princeton University."},{"key":"e_1_3_2_1_2_1","volume-title":"Qiskit: An Open-source Framework for Quantum Computing.","author":"Aleksandrowicz Gadi","year":"2019","unstructured":"Gadi Aleksandrowicz , Thomas Alexander , Panagiotis Barkoutsos , Luciano Bello , Yael Ben-Haim , and David Bucher . 2019 . Qiskit: An Open-source Framework for Quantum Computing. Gadi Aleksandrowicz, Thomas Alexander, Panagiotis Barkoutsos, Luciano Bello, Yael Ben-Haim, and David Bucher. 2019. Qiskit: An Open-source Framework for Quantum Computing."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"e_1_3_2_1_4_1","volume-title":"Kleene Algebra with Tests and Program Schematology. Computer Science Department","author":"Angus Allegra","unstructured":"Allegra Angus and Dexter Kozen . 2001. Kleene Algebra with Tests and Program Schematology. Computer Science Department , Cornell University . Allegra Angus and Dexter Kozen. 2001. Kleene Algebra with Tests and Program Schematology. Computer Science Department, Cornell University."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-010-9783-6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371089"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.02.003"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/355592.365646"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2011.12.002"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219749904000067"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.001.1900092"},{"key":"e_1_3_2_1_12_1","volume-title":"Reasoning About Imperative Quantum Programs. Electronic Notes in Theoretical Computer Science, 158","author":"Chadha Rohit","year":"2006","unstructured":"Rohit Chadha , Paulo Mateus , and Am\u00edlcar Sernadas . 2006. Reasoning About Imperative Quantum Programs. Electronic Notes in Theoretical Computer Science, 158 ( 2006 ). Rohit Chadha, Paulo Mateus, and Am\u00edlcar Sernadas. 2006. Reasoning About Imperative Quantum Programs. Electronic Notes in Theoretical Computer Science, 158 (2006)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1801723115"},{"key":"e_1_3_2_1_14_1","volume-title":"The complexity of Kleene algebra with tests. Computer Science Department","author":"Cohen Ernie","unstructured":"Ernie Cohen , Dexter Kozen , and Frederick Smith . 1996. The complexity of Kleene algebra with tests. Computer Science Department , Cornell University . Ernie Cohen, Dexter Kozen, and Frederick Smith. 1996. The complexity of Kleene algebra with tests. Computer Science Department, Cornell University."},{"key":"e_1_3_2_1_15_1","volume-title":"Quantum Weakest Preconditions. Mathematical Structures in Computer Science, 16, 3","author":"D\u2019Hondt Ellie","year":"2006","unstructured":"Ellie D\u2019Hondt and Prakash Panangaden . 2006. Quantum Weakest Preconditions. Mathematical Structures in Computer Science, 16, 3 ( 2006 ). Ellie D\u2019Hondt and Prakash Panangaden. 2006. Quantum Weakest Preconditions. Mathematical Structures in Computer Science, 16, 3 (2006)."},{"key":"e_1_3_2_1_16_1","volume-title":"Automata, languages, and machines","author":"Eilenberg Samuel","unstructured":"Samuel Eilenberg . 1974. Automata, languages, and machines . Academic press . Samuel Eilenberg. 1974. Automata, languages, and machines. Academic press."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.050"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.06.011"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_12"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677011"},{"key":"e_1_3_2_1_22_1","volume-title":"Effect algebras and unsharp quantum logics. Foundations of physics, 24, 10","author":"Foulis David J","year":"1994","unstructured":"David J Foulis and Mary K Bennett . 1994. Effect algebras and unsharp quantum logics. Foundations of physics, 24, 10 ( 1994 ), 1331\u20131352. David J Foulis and Mary K Bennett. 1994. Effect algebras and unsharp quantum logics. Foundations of physics, 24, 10 (1994), 1331\u20131352."},{"key":"e_1_3_2_1_23_1","volume-title":"Quantum Programming Languages: Survey and Bibliography. Mathematical Structures in Computer Science, 16, 4","author":"Gay Simon J.","year":"2006","unstructured":"Simon J. Gay . 2006. Quantum Programming Languages: Survey and Bibliography. Mathematical Structures in Computer Science, 16, 4 ( 2006 ). Simon J. Gay. 2006. Quantum Programming Languages: Survey and Bibliography. Mathematical Structures in Computer Science, 16, 4 (2006)."},{"key":"e_1_3_2_1_24_1","unstructured":"Google. 2018. https:\/\/github.com\/quantumlib\/Cirq  Google. 2018. https:\/\/github.com\/quantumlib\/Cirq"},{"key":"e_1_3_2_1_25_1","unstructured":"Jonathan Grattage. 2005. A Functional Quantum Programming Language. In LICS.  Jonathan Grattage. 2005. A Functional Quantum Programming Language. In LICS."},{"key":"e_1_3_2_1_26_1","volume-title":"Neil J Ross, Peter Selinger, and Beno\u00eet Valiron.","author":"Green Alexander S","year":"2013","unstructured":"Alexander S Green , Peter LeFanu Lumsdaine , Neil J Ross, Peter Selinger, and Beno\u00eet Valiron. 2013 . Quipper: a scalable quantum programming language. In PLDI. 333\u2013342. Alexander S Green, Peter LeFanu Lumsdaine, Neil J Ross, Peter Selinger, and Beno\u00eet Valiron. 2013. Quipper: a scalable quantum programming language. In PLDI. 333\u2013342."},{"key":"e_1_3_2_1_27_1","unstructured":"Kesha Hietala Robert Rand Shih-Han Hung Xiaodi Wu and Michael Hicks. 2019. A verified optimizer for quantum circuits. arXiv preprint arXiv:1912.02250.  Kesha Hietala Robert Rand Shih-Han Hung Xiaodi Wu and Michael Hicks. 2019. A verified optimizer for quantum circuits. arXiv preprint arXiv:1912.02250."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10622-4_7"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Stefan Kiefer Andrzej Murawski Jo\u00ebl Ouaknine Bj\u00f6rn Wachter and James Worrell. 2013. On the complexity of equivalence and minimisation for Q-weighted automata. arXiv preprint arXiv:1302.2818.  Stefan Kiefer Andrzej Murawski Jo\u00ebl Ouaknine Bj\u00f6rn Wachter and James Worrell. 2013. On the complexity of equivalence and minimisation for Q-weighted automata. arXiv preprint arXiv:1302.2818.","DOI":"10.2168\/LMCS-9(1:8)2013"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-002"},{"key":"e_1_3_2_1_32_1","volume-title":"A completeness theorem for Kleene algebras and the algebra of regular events","author":"Kozen Dexter","unstructured":"Dexter Kozen . 1990. A completeness theorem for Kleene algebras and the algebra of regular events . Cornell University . Dexter Kozen. 1990. A completeness theorem for Kleene algebras and the algebra of regular events. Cornell University."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256195"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343378"},{"key":"e_1_3_2_1_35_1","volume-title":"Rohit Parikh on Logic","author":"Kozen Dexter","unstructured":"Dexter Kozen . 2017. On the Coalgebraic Theory of Kleene Algebra with Tests . In Rohit Parikh on Logic , Language and Society, Can Ba\u015fkent , Lawrence S. Moss, and Ramaswamy Ramanujam (Eds.) (Outstanding Contributions to Logic , Vol. 11). Springer, 279\u2013 298 . Dexter Kozen. 2017. On the Coalgebraic Theory of Kleene Algebra with Tests. In Rohit Parikh on Logic, Language and Society, Can Ba\u015fkent, Lawrence S. Moss, and Ramaswamy Ramanujam (Eds.) (Outstanding Contributions to Logic, Vol. 11). Springer, 279\u2013298."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44957-4_38"},{"key":"e_1_3_2_1_37_1","volume-title":"Proc. 10th Int. Workshop Computer Science Logic (CSL\u201996)","volume":"259","author":"Kozen Dexter","year":"1996","unstructured":"Dexter Kozen and Frederick Smith . 1996 . Kleene algebra with tests: Completeness and decidability . In Proc. 10th Int. Workshop Computer Science Logic (CSL\u201996) , D. van Dalen and M. Bezem (Eds.) (Lecture Notes in Computer Science , Vol. 1258). Springer-Verlag, Utrecht, The Netherlands. 244\u2013 259 . Dexter Kozen and Frederick Smith. 1996. Kleene algebra with tests: Completeness and decidability. In Proc. 10th Int. Workshop Computer Science Logic (CSL\u201996), D. van Dalen and M. Bezem (Eds.) (Lecture Notes in Computer Science, Vol. 1258). Springer-Verlag, Utrecht, The Netherlands. 244\u2013259."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3345312.3345497"},{"key":"e_1_3_2_1_39_1","volume-title":"States, effects, and operations: fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Lecture notes in physics, 190","author":"Kraus Karl","year":"1983","unstructured":"Karl Kraus , Arno B\u00f6hm , John D Dollard , and WH Wootters . 1983. States, effects, and operations: fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Lecture notes in physics, 190 ( 1983 ). Karl Kraus, Arno B\u00f6hm, John D Dollard, and WH Wootters. 1983. States, effects, and operations: fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Lecture notes in physics, 190 (1983)."},{"key":"e_1_3_2_1_40_1","volume-title":"Languages","author":"Kuich Werner","unstructured":"Werner Kuich and Arto Salomaa . 1985. Semirings , Automata , Languages . Springer-Verlag , Berlin, Heidelberg . isbn:3540137165 Werner Kuich and Arto Salomaa. 1985. Semirings, Automata, Languages. Springer-Verlag, Berlin, Heidelberg. isbn:3540137165"},{"key":"e_1_3_2_1_41_1","volume-title":"POPL","author":"Li Yangjia","year":"2017","unstructured":"Yangjia Li and Mingsheng Ying . 2017. Algorithmic Analysis of Termination Problems for Quantum Programs. 2 , POPL ( 2017 ), Article 35, Dec., 29 pages. Yangjia Li and Mingsheng Ying. 2017. Algorithmic Analysis of Termination Problems for Quantum Programs. 2, POPL (2017), Article 35, Dec., 29 pages."},{"key":"e_1_3_2_1_42_1","volume-title":"Optimal Hamiltonian simulation by quantum signal processing. Physical review letters, 118, 1","author":"Low Guang Hao","year":"2017","unstructured":"Guang Hao Low and Isaac L Chuang . 2017. Optimal Hamiltonian simulation by quantum signal processing. Physical review letters, 118, 1 ( 2017 ), 010501. Guang Hao Low and Isaac L Chuang. 2017. Optimal Hamiltonian simulation by quantum signal processing. Physical review letters, 118, 1 (2017), 010501."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.113"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511976667"},{"key":"e_1_3_2_1_45_1","volume-title":"Structured Quantum Programming. Ph. D. Dissertation","author":"\u00d6mer Bernhard","unstructured":"Bernhard \u00d6mer . 2003. Structured Quantum Programming. Ph. D. Dissertation . Vienna University of Technology . Bernhard \u00d6mer. 2003. Structured Quantum Programming. Ph. D. Dissertation. Vienna University of Technology."},{"key":"e_1_3_2_1_46_1","first-page":"846","article-title":"QWIRE","volume":"2017","author":"Paykin Jennifer","year":"2017","unstructured":"Jennifer Paykin , Robert Rand , and Steve Zdancewic . 2017 . QWIRE : A Core Language for Quantum Circuits. POPL 2017. 846 \u2013 858 . isbn:9781450346603 Jennifer Paykin, Robert Rand, and Steve Zdancewic. 2017. QWIRE: A Core Language for Quantum Circuits. POPL 2017. 846\u2013858. isbn:9781450346603","journal-title":"A Core Language for Quantum Circuits. POPL"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Yuxiang Peng Mingsheng Ying and Xiaodi Wu. 2021. Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra. arXiv preprint arXiv:2110.07018.  Yuxiang Peng Mingsheng Ying and Xiaodi Wu. 2021. Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra. arXiv preprint arXiv:2110.07018.","DOI":"10.1145\/3519939.3523713"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677007"},{"key":"e_1_3_2_1_49_1","unstructured":"Rigetti. 2018. https:\/\/www.rigetti.com\/forest  Rigetti. 2018. https:\/\/www.rigetti.com\/forest"},{"key":"e_1_3_2_1_50_1","volume-title":"Modeling Quantum Computing in Haskell. In The Haskell Workshop.","author":"Sabry Amr","year":"2003","unstructured":"Amr Sabry . 2003 . Modeling Quantum Computing in Haskell. In The Haskell Workshop. Amr Sabry. 2003. Modeling Quantum Computing in Haskell. In The Haskell Workshop."},{"key":"e_1_3_2_1_51_1","volume-title":"Sanders and Paolo Zuliani","author":"Jeff","year":"2000","unstructured":"Jeff W. Sanders and Paolo Zuliani . 2000 . Quantum Programming. In MPC. Jeff W. Sanders and Paolo Zuliani. 2000. Quantum Programming. In MPC."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"crossref","unstructured":"Peter Selinger. 2004. A Brief Survey of Quantum Programming Languages. In FLOPS.  Peter Selinger. 2004. A Brief Survey of Quantum Programming Languages. In FLOPS.","DOI":"10.1007\/978-3-540-24754-8_1"},{"key":"e_1_3_2_1_53_1","volume-title":"Towards a Quantum Programming Language. Mathematical Structures in Computer Science, 14, 4","author":"Selinger Peter","year":"2004","unstructured":"Peter Selinger . 2004. Towards a Quantum Programming Language. Mathematical Structures in Computer Science, 14, 4 ( 2004 ). Peter Selinger. 2004. Towards a Quantum Programming Language. Mathematical Structures in Computer Science, 14, 4 (2004)."},{"key":"e_1_3_2_1_54_1","volume-title":"Kleene coalgebra. Ph. D. Dissertation","author":"Silva Alexandra","unstructured":"Alexandra Silva . 2010. Kleene coalgebra. Ph. D. Dissertation . Radboud University Nijmegen . Alexandra Silva. 2010. Kleene coalgebra. Ph. D. Dissertation. Radboud University Nijmegen."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371129"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676999"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/800125.804029"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"crossref","unstructured":"Krysta Svore Alan Geller Matthias Troyer John Azariah Christopher Granade Bettina Heim Vadym Kliuchnikov Mariia Mykhailova Andres Paz and Martin Roetteler. 2018. Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL. In RWDSL.  Krysta Svore Alan Geller Matthias Troyer John Azariah Christopher Granade Bettina Heim Vadym Kliuchnikov Mariia Mykhailova Andres Paz and Martin Roetteler. 2018. Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL. In RWDSL.","DOI":"10.1145\/3183895.3183901"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290346"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129505005074"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1017\/9781316848142"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"crossref","unstructured":"W. K. Wootters and W. H. Zurek. 1982. A single quantum cannot be cloned. Nature 299 5886 (1982) 802\u2013803.  W. K. Wootters and W. H. Zurek. 1982. A single quantum cannot be cloned. Nature 299 5886 (1982) 802\u2013803.","DOI":"10.1038\/299802a0"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2049706.2049708"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"crossref","unstructured":"Mingsheng Ying. 2016. Foundations of Quantum Programming. Morgan Kaufmann.  Mingsheng Ying. 2016. Foundations of Quantum Programming. Morgan Kaufmann.","DOI":"10.1016\/B978-0-12-802306-8.00005-7"},{"key":"e_1_3_2_1_65_1","volume-title":"Toward automatic verification of quantum programs. Formal Aspects of Computing, 31, 1","author":"Ying Mingsheng","year":"2019","unstructured":"Mingsheng Ying . 2019. Toward automatic verification of quantum programs. Formal Aspects of Computing, 31, 1 ( 2019 ), 01 Feb, 3\u201325. Mingsheng Ying. 2019. Toward automatic verification of quantum programs. Formal Aspects of Computing, 31, 1 (2019), 01 Feb, 3\u201325."},{"key":"e_1_3_2_1_66_1","first-page":"818","article-title":"Invariants of Quantum Programs","volume":"2017","author":"Ying Mingsheng","year":"2017","unstructured":"Mingsheng Ying , Shenggang Ying , and Xiaodi Wu . 2017 . Invariants of Quantum Programs : Characterisations and Generation. POPL 2017. 818 \u2013 832 . Mingsheng Ying, Shenggang Ying, and Xiaodi Wu. 2017. Invariants of Quantum Programs: Characterisations and Generation. POPL 2017. 818\u2013832.","journal-title":"Characterisations and Generation. POPL"},{"key":"e_1_3_2_1_67_1","unstructured":"Nengkun Yu. 2019. Quantum Temporal Logic. arXiv e-prints Article arXiv:1908.00158 July arXiv:1908.00158 pages. arxiv:1908.00158.  Nengkun Yu. 2019. Quantum Temporal Logic. arXiv e-prints Article arXiv:1908.00158 July arXiv:1908.00158 pages. arxiv:1908.00158."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454061"},{"key":"e_1_3_2_1_69_1","volume-title":"An Applied Quantum Hoare Logic. PLDI","author":"Zhou Li","year":"2019","unstructured":"Li Zhou , Nengkun Yu , and Mingsheng Ying . 2019 . An Applied Quantum Hoare Logic. PLDI 2019. 1149\u20131162. Li Zhou, Nengkun Yu, and Mingsheng Ying. 2019. An Applied Quantum Hoare Logic. PLDI 2019. 1149\u20131162."}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"San Diego CA USA","acronym":"PLDI '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523713","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:30Z","timestamp":1750183830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523713"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":69,"alternative-id":["10.1145\/3519939.3523713","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523713","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}