Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra-Reference-Cited by-同舟云学术

Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra

Published:2022-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Peng Yuxiang¹,Ying Mingsheng²,Wu Xiaodi¹

Affiliation:

1. University of Maryland, USA

2. Institute of Software at Chinese Academy of Sciences, China / Tsinghua University, China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3519939.3523713

Reference69 articles.

1. 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.

2. 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.

3. NetKAT

4. 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.

5. Quantum logic as a dynamic logic

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Algebraic Language for Specifying Quantum Networks;Proceedings of the ACM on Programming Languages;2024-06-20

2. MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27

3. Q# as a Quantum Algorithmic Language;Electronic Proceedings in Theoretical Computer Science;2023-11-16

4. Towards an Algebraic Specification of Quantum Networks;Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing;2023-09-10

5. CoqQ: Foundational Verification of Quantum Programs;Proceedings of the ACM on Programming Languages;2023-01-09