{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T00:38:25Z","timestamp":1790987905221,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ARC Discovery Early Career Researcher Award","award":["180100156"],"award-info":[{"award-number":["180100156"]}]},{"name":"NSF QLCI program","award":["OMA-2016245"],"award-info":[{"award-number":["OMA-2016245"]}]},{"name":"ARC Discovery Project","award":["210102449"],"award-info":[{"award-number":["210102449"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454061","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T13:51:32Z","timestamp":1624024292000},"page":"542-558","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":65,"title":["Quantum abstract interpretation"],"prefix":"10.1145","author":[{"given":"Nengkun","family":"Yu","sequence":"first","affiliation":[{"name":"University of Technology Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4747-365X","authenticated-orcid":false,"given":"Jens","family":"Palsberg","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_2_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. Dept. of Computer Science, Princeton University NJ. ftp:\/\/ftp.cs.princeton.edu\/reports\/2012\/934.pdf 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. Dept. of Computer Science, Princeton University NJ. ftp:\/\/ftp.cs.princeton.edu\/reports\/2012\/934.pdf"},{"key":"e_1_3_2_2_2_1","volume-title":"The Logic of Quantum Program Verification. Master\u2019s thesis","author":"Akatov Dmitri","unstructured":"Dmitri Akatov . 2005. The Logic of Quantum Program Verification. Master\u2019s thesis . Oxford University Computing Laboratory . http:\/\/www.academia.edu\/download\/7563948\/thesis-1.1.ps Dmitri Akatov. 2005. The Logic of Quantum Program Verification. Master\u2019s thesis. Oxford University Computing Laboratory. http:\/\/www.academia.edu\/download\/7563948\/thesis-1.1.ps"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.2562110"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.1"},{"key":"e_1_3_2_2_5_1","unstructured":"Frank Arute Kunal Arya Ryan Babbush Dave Bacon Joseph C. Bardin Rami Barends Sergio Boixo Michael Broughton Bob B. Buckley David A. Buell Brian Burkett Nicholas Bushnell Yu Chen Zijun Chen Ben Chiaro Roberto Collins William Courtney Sean Demura Andrew Dunsworth Edward Farhi Austin Fowler Brooks Foxen Craig Gidney Marissa Giustina Rob Graff Steve Habegger Matthew P. Harrigan Alan Ho Sabrina Hong Trent Huang L. B. Ioffe Sergei V. Isakov Evan Jeffrey Zhang Jiang Cody Jones Dvir Kafri Kostyantyn Kechedzhi Julian Kelly Seon Kim Paul V. Klimov Alexander N. Korotkov Fedor Kostritsa David Landhuis Pavel Laptev Mike Lindmark Martin Leib Erik Lucero Orion Martin John M. Martinis Jarrod R. McClean Matt McEwen Anthony Megrant Xiao Mi Masoud Mohseni Wojciech Mruczkiewicz Josh Mutus Ofer Naaman Matthew Neeley Charles Neill Florian Neukart Hartmut Neven Murphy Yuezhen Niu Thomas E. O\u2019Brien Bryan O\u2019Gorman Eric Ostby Andre Petukhov Harald Putterman Chris Quintana Pedram Roushan Nicholas C. Rubin Daniel Sank Kevin J. Satzinger Andrea Skolik Vadim Smelyanskiy Doug Strain Michael Streif Kevin J. Sung Marco Szalay Amit Vainsencher Theodore White Z. Jamie Yao Ping Yeh Adam Zalcman and Leo Zhou. 2020. Quantum Approximate Optimization of Non-Planar Graph Problems on a Planar Superconducting Processor. arxiv:2004.04197  Frank Arute Kunal Arya Ryan Babbush Dave Bacon Joseph C. Bardin Rami Barends Sergio Boixo Michael Broughton Bob B. Buckley David A. Buell Brian Burkett Nicholas Bushnell Yu Chen Zijun Chen Ben Chiaro Roberto Collins William Courtney Sean Demura Andrew Dunsworth Edward Farhi Austin Fowler Brooks Foxen Craig Gidney Marissa Giustina Rob Graff Steve Habegger Matthew P. Harrigan Alan Ho Sabrina Hong Trent Huang L. B. Ioffe Sergei V. Isakov Evan Jeffrey Zhang Jiang Cody Jones Dvir Kafri Kostyantyn Kechedzhi Julian Kelly Seon Kim Paul V. Klimov Alexander N. Korotkov Fedor Kostritsa David Landhuis Pavel Laptev Mike Lindmark Martin Leib Erik Lucero Orion Martin John M. Martinis Jarrod R. McClean Matt McEwen Anthony Megrant Xiao Mi Masoud Mohseni Wojciech Mruczkiewicz Josh Mutus Ofer Naaman Matthew Neeley Charles Neill Florian Neukart Hartmut Neven Murphy Yuezhen Niu Thomas E. O\u2019Brien Bryan O\u2019Gorman Eric Ostby Andre Petukhov Harald Putterman Chris Quintana Pedram Roushan Nicholas C. Rubin Daniel Sank Kevin J. Satzinger Andrea Skolik Vadim Smelyanskiy Doug Strain Michael Streif Kevin J. Sung Marco Szalay Amit Vainsencher Theodore White Z. Jamie Yao Ping Yeh Adam Zalcman and Leo Zhou. 2020. Quantum Approximate Optimization of Non-Planar Graph Problems on a Planar Superconducting Processor. arxiv:2004.04197"},{"key":"e_1_3_2_2_6_1","volume-title":"Proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL","author":"Baltag Alexandru","year":"2004","unstructured":"Alexandru Baltag and Sonja Smets . 2004 . The logic of quantum programs . In Proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL 2004), Peter Selinger (Ed.). 39\u201356. Alexandru Baltag and Sonja Smets. 2004. The logic of quantum programs. In Proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL 2004), Peter Selinger (Ed.). 39\u201356."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005299"},{"key":"e_1_3_2_2_8_1","unstructured":"Gilles Barthe Justin Hsu Mingsheng Ying Nengkun Yu and Li Zhou. 2019. Coupling Techniques for Reasoning about Quantum Programs. arxiv:1901.05184.  Gilles Barthe Justin Hsu Mingsheng Ying Nengkun Yu and Li Zhou. 2019. Coupling Techniques for Reasoning about Quantum Programs. arxiv:1901.05184."},{"issue":"5","key":"e_1_3_2_2_9_1","first-page":"525","article-title":"Computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computers represented by Turing machines","volume":"22","author":"Benioff P","year":"1980","unstructured":"P Benioff . 1980 . Computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computers represented by Turing machines . J. Stat. Phys.; (United States) , 22 5 , 525 - 532 (1980), 1. P Benioff. 1980. Computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computers represented by Turing machines. J. Stat. Phys.; (United States), 22:5, 525-532 (1980), 1.","journal-title":"J. Stat. Phys.; (United States)"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539796300921"},{"key":"e_1_3_2_2_11_1","volume-title":"Proceedings of the Forty-Sixth Annual ACM Symposium on Theory of Computing (STOC \u201914)","author":"Berry Dominic W.","unstructured":"Dominic W. Berry , Andrew M. Childs , Richard Cleve , Robin Kothari , and Rolando D. Somma . 2014. Exponential Improvement in Precision for Simulating Sparse Hamiltonians . In Proceedings of the Forty-Sixth Annual ACM Symposium on Theory of Computing (STOC \u201914) . Association for Computing Machinery, New York, NY, USA. 283\u2013292. isbn:9781450327107 Dominic W. Berry, Andrew M. Childs, Richard Cleve, Robin Kothari, and Rolando D. Somma. 2014. Exponential Improvement in Precision for Simulating Sparse Hamiltonians. In Proceedings of the Forty-Sixth Annual ACM Symposium on Theory of Computing (STOC \u201914). Association for Computing Machinery, New York, NY, USA. 283\u2013292. isbn:9781450327107"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/focs.2015.54"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature23474"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.2307\/1968621"},{"key":"e_1_3_2_2_16_1","volume-title":"Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems, 12\u201323","author":"Brassard G.","unstructured":"G. Brassard and P. Hoyer . 97. An exact quantum polynomial-time algorithm for Simon\u2019s problem . Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems, 12\u201323 . G. Brassard and P. Hoyer. 97. An exact quantum polynomial-time algorithm for Simon\u2019s problem. Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems, 12\u201323."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/305\/05215"},{"key":"e_1_3_2_2_18_1","unstructured":"Michael Broughton Guillaume Verdon Trevor McCourt Antonio J. Martinez Jae Hyeon Yoo Sergei V. Isakov Philip Massey Murphy Yuezhen Niu Ramin Halavati Evan Peters Martin Leib Andrea Skolik Michael Streif David Von Dollen Jarrod R. McClean Sergio Boixo Dave Bacon Alan K. Ho Hartmut Neven and Masoud Mohseni. 2020. TensorFlow Quantum: A Software Framework for Quantum Machine Learning. arxiv:quant-ph\/2003.02989.  Michael Broughton Guillaume Verdon Trevor McCourt Antonio J. Martinez Jae Hyeon Yoo Sergei V. Isakov Philip Massey Murphy Yuezhen Niu Ramin Halavati Evan Peters Martin Leib Andrea Skolik Michael Streif David Von Dollen Jarrod R. McClean Sergio Boixo Dave Bacon Alan K. Ho Hartmut Neven and Masoud Mohseni. 2020. TensorFlow Quantum: A Software Framework for Quantum Machine Learning. arxiv:quant-ph\/2003.02989."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219749904000067"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1021\/acs.chemrev.8b00803"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.04.003"},{"key":"e_1_3_2_2_22_1","volume-title":"European Symposium on Programming 2021: Programming Languages and Systems","author":"Chareton Christophe","unstructured":"Christophe Chareton , S\u00e9bastien Bardin , Fran\u00e7ois Bobot , Valentin Perrelle , and Beno\u00eet Valiron . 2021. An Automated Deductive Verification Framework for Circuit-building Quantum Programs . In European Symposium on Programming 2021: Programming Languages and Systems , Nobuko Yoshida (Ed.). Springer International Publishing , Cham . 148\u2013177. Christophe Chareton, S\u00e9bastien Bardin, Fran\u00e7ois Bobot, Valentin Perrelle, and Beno\u00eet Valiron. 2021. An Automated Deductive Verification Framework for Circuit-building Quantum Programs. In European Symposium on Programming 2021: Programming Languages and Systems, Nobuko Yoshida (Ed.). Springer International Publishing, Cham. 148\u2013177."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_2_24_1","volume-title":"Proceedings of the Royal Society of London Series A, 400","author":"Deutsch D.","year":"1985","unstructured":"D. Deutsch . 1985 . Quantum theory, the Church-Turing principle and the universal quantum computer . Proceedings of the Royal Society of London Series A, 400 , 1818 (1985), July, 97\u2013117. D. Deutsch. 1985. Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London Series A, 400, 1818 (1985), July, 97\u2013117."},{"key":"e_1_3_2_2_25_1","series-title":"Series A, Mathematical and Physical Sciences, 425","volume-title":"Quantum Computational Networks. Proceedings of the Royal Society of London","author":"Deutsch D.","year":"1868","unstructured":"D. Deutsch . 1989. Quantum Computational Networks. Proceedings of the Royal Society of London . Series A, Mathematical and Physical Sciences, 425 , 1868 (1989), 73\u201390. issn:00804630 http:\/\/www.jstor.org\/stable\/2398494 D. Deutsch. 1989. Quantum Computational Networks. Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences, 425, 1868 (1989), 73\u201390. issn:00804630 http:\/\/www.jstor.org\/stable\/2398494"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005251"},{"key":"e_1_3_2_2_27_1","unstructured":"Edward Farhi Jeffrey Goldstone and Sam Gutmann. 2014. A Quantum Approximate Optimization Algorithm. arxiv:1411.4028  Edward Farhi Jeffrey Goldstone and Sam Gutmann. 2014. A Quantum Approximate Optimization Algorithm. arxiv:1411.4028"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.06.011"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02650179"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01886518"},{"key":"e_1_3_2_2_31_1","unstructured":"Daniel Gottesman. 2008. The Heisenberg Representation of Quantum Computers. Los Alamos National Laboratory. Expanded version of a plenary speech at the 1998 International Conference on Group Theoretic Methods in Physics.  Daniel Gottesman. 2008. The Heisenberg Representation of Quantum Computers. Los Alamos National Laboratory. Expanded version of a plenary speech at the 1998 International Conference on Group Theoretic Methods in Physics."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.17226\/25196"},{"key":"e_1_3_2_2_35_1","unstructured":"Kesha Hietala Robert Rand Shih-Han Hung Liyi Li and Michael Hicks. 2020. Proving Quantum Programs Correct. arXiv:2010.01240.  Kesha Hietala Robert Rand Shih-Han Hung Liyi Li and Michael Hicks. 2020. Proving Quantum Programs Correct. arXiv:2010.01240."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434318"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290344"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10622-4_7"},{"key":"e_1_3_2_2_39_1","volume-title":"Orthomodular lattices. 18","author":"Kalmbach Gudrun","unstructured":"Gudrun Kalmbach . 1983. Orthomodular lattices. 18 , Academic Press . Gudrun Kalmbach. 1983. Orthomodular lattices. 18, Academic Press."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.318.14"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428218"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/18\/2\/023023"},{"key":"e_1_3_2_2_43_1","volume-title":"Chuang","author":"Nielsen Michael A.","year":"2011","unstructured":"Michael A. Nielsen and Isaac L . Chuang . 2011 . Quantum Computation and Quantum Information: 10th Anniversary Edition (10th ed.). Cambridge University Press , New York, NY, USA. isbn:1107002176, 9781107002173 Michael A. Nielsen and Isaac L. Chuang. 2011. Quantum Computation and Quantum Information: 10th Anniversary Edition (10th ed.). Cambridge University Press, New York, NY, USA. isbn:1107002176, 9781107002173"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009894"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69166-2_18"},{"key":"e_1_3_2_2_47_1","volume-title":"O\u2019Brien","author":"Peruzzo Alberto","year":"2014","unstructured":"Alberto Peruzzo , Jarrod McClean , Peter Shadbolt , Man-Hong Yung , Xiao-Qi Zhou , Peter J. Love , Al\u00e1n Aspuru-Guzik , and Jeremy L . O\u2019Brien . 2014 . A variational eigenvalue solver on a photonic quantum processor. Nature Communications , 5, 1 (2014), 23 Jul, 4213. issn:2041-1723 Alberto Peruzzo, Jarrod McClean, Peter Shadbolt, Man-Hong Yung, Xiao-Qi Zhou, Peter J. Love, Al\u00e1n Aspuru-Guzik, and Jeremy L. O\u2019Brien. 2014. A variational eigenvalue solver on a photonic quantum processor. Nature Communications, 5, 1 (2014), 23 Jul, 4213. issn:2041-1723"},{"key":"e_1_3_2_2_48_1","unstructured":"Robert Rand. 2016. Verification logics for quantum programs. http:\/\/www.cs.umd.edu\/~rrand\/wpe.pdf  Robert Rand. 2016. Verification logics for quantum programs. http:\/\/www.cs.umd.edu\/~rrand\/wpe.pdf"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871900"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/514188.514190"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/648085.747181"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901"},{"key":"e_1_3_2_2_54_1","unstructured":"The Cirq Developers. 2018. quantumlib\/Cirq: A python framework for creating editing and invoking Noisy Intermediate Scale Quantum (NISQ) circuits. https:\/\/github.com\/quantumlib\/Cirq  The Cirq Developers. 2018. quantumlib\/Cirq: A python framework for creating editing and invoking Noisy Intermediate Scale Quantum (NISQ) circuits. https:\/\/github.com\/quantumlib\/Cirq"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290346"},{"key":"e_1_3_2_2_56_1","unstructured":"D. Wecker and K. M. Svore. 2014. LIQUi|\u3009 : A software design architecture and domain-specific language for quantum computing.  D. Wecker and K. M. Svore. 2014. LIQUi|\u3009 : A software design architecture and domain-specific language for quantum computing."},{"key":"e_1_3_2_2_57_1","unstructured":"Wikipedia. 2020. List of quantum processors. https:\/\/en.wikipedia.org\/wiki\/List_of_quantum_processors  Wikipedia. 2020. List of quantum processors. https:\/\/en.wikipedia.org\/wiki\/List_of_quantum_processors"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3295500.3356155"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2049706.2049708"},{"key":"e_1_3_2_2_60_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.00004-5"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"crossref","unstructured":"Mingsheng Ying Runyao Duan Yuan Feng and Zhengfeng Ji. 2010. Predicate transformer semantics of quantum programs. Semantic Techniques in Quantum Computation 311\u2013360.  Mingsheng Ying Runyao Duan Yuan Feng and Zhengfeng Ji. 2010. Predicate transformer semantics of quantum programs. Semantic Techniques in Quantum Computation 311\u2013360.","DOI":"10.1017\/CBO9781139193313.009"},{"key":"e_1_3_2_2_62_1","unstructured":"Nengkun Yu. 2019. Quantum Temporal Logic. arXiv preprint arXiv:1908.00158.  Nengkun Yu. 2019. Quantum Temporal Logic. arXiv preprint arXiv:1908.00158."},{"key":"e_1_3_2_2_63_1","unstructured":"Nengkun Yu and Jens Palsberg. 2021. An efficient quantum Hoare logic. In preparation.  Nengkun Yu and Jens Palsberg. 2021. An efficient quantum Hoare logic. In preparation."},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314584"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454061","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:47Z","timestamp":1750193267000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":63,"alternative-id":["10.1145\/3453483.3454061","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454061","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}