An applied quantum Hoare logic-Reference-Cited by-同舟云学术

An applied quantum Hoare logic

Published:2019-06-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Zhou Li¹,Yu Nengkun²,Ying Mingsheng³

Affiliation:

1. Tsinghua University, China

2. University of Technology Sydney, Australia

3. University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China / Tsinghua University, China

Funder

Australian Research Council

National Natural Science Foundation of China

National Key R&D Program of China

Publisher

ACM

Link

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

Reference40 articles.

1. Dmitri Akatov. 2005. The Logic of Quantum Program Verification. Master's 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's thesis. Oxford University Computing Laboratory. http://www.academia.edu/download/7563948/thesis-1.1.ps.

2. Gadi Aleksandrowicz Thomas Alexander Panagiotis Barkoutsos Luciano Bello Yael Ben-Haim David Bucher Francisco Jose Cabrera-Hernádez Jorge Carballo-Franquis Adrian Chen Chun-Fu Chen Jerry M. Chow Antonio D. Córcoles-Gonzales Abigail J. Cross Andrew Cross Juan Cruz-Benito Chris Culver Salvador De La Puente González Enrique De La Torre Delton Ding Eugene Dumitrescu Ivan Duran Pieter Eendebak Mark Everitt Ismael Faro Sertage Albert Frisch Andreas Fuhrer Jay Gambetta Borja Godoy Gago Juan Gomez-Mosquera Donny Greenberg Ikko Hamamura Vojtech Havlicek Joe Hellmers ?ukasz Herok Hiroshi Horii Shaohan Hu Takashi Imamichi Toshinari Itoko Ali Javadi-Abhari Naoki Kanazawa Anton Karazeev Kevin Krsulich Peng Liu Yang Luh Yunho Maeng Manoel Marques Francisco Jose Martín-Fernández Douglas T. McClure David McKay Srujan Meesala Antonio Mezzacapo Nikolaj Moll Diego Moreda Rodríguez Giacomo Nannicini Paul Nation Pauline Ollitrault Lee James O'Riordan Hanhee Paik Jesús Pérez Anna Phan Marco Pistoia Viktor Prutyanov Max Reuter Julia Rice Abdón Rodríguez Davila Raymond Harry Putra Rudy Mingi Ryu Ninad Sathaye Chris Schnabel Eddie Schoute Kanav Setia Yunong Shi Adenilton Silva Yukio Siraichi Seyon Sivarajah John A. Smolin Mathias Soeken Hitomi Takahashi Ivano Tavernelli Charles Taylor Pete Taylour Kenso Trabing Matthew Treinish Wes Turner Desiree Vogt-Lee Christophe Vuillot Jonathan A. Wildstrom Jessica Wilson Erick Winston Christopher Wood Stephen Wood Stefan Wörner Ismail Yunus Akhalwaya and Christa Zoufal. 2019. Qiskit: An Open-source Framework for Quantum Computing. Gadi Aleksandrowicz Thomas Alexander Panagiotis Barkoutsos Luciano Bello Yael Ben-Haim David Bucher Francisco Jose Cabrera-Hernádez Jorge Carballo-Franquis Adrian Chen Chun-Fu Chen Jerry M. Chow Antonio D. Córcoles-Gonzales Abigail J. Cross Andrew Cross Juan Cruz-Benito Chris Culver Salvador De La Puente González Enrique De La Torre Delton Ding Eugene Dumitrescu Ivan Duran Pieter Eendebak Mark Everitt Ismael Faro Sertage Albert Frisch Andreas Fuhrer Jay Gambetta Borja Godoy Gago Juan Gomez-Mosquera Donny Greenberg Ikko Hamamura Vojtech Havlicek Joe Hellmers ?ukasz Herok Hiroshi Horii Shaohan Hu Takashi Imamichi Toshinari Itoko Ali Javadi-Abhari Naoki Kanazawa Anton Karazeev Kevin Krsulich Peng Liu Yang Luh Yunho Maeng Manoel Marques Francisco Jose Martín-Fernández Douglas T. McClure David McKay Srujan Meesala Antonio Mezzacapo Nikolaj Moll Diego Moreda Rodríguez Giacomo Nannicini Paul Nation Pauline Ollitrault Lee James O'Riordan Hanhee Paik Jesús Pérez Anna Phan Marco Pistoia Viktor Prutyanov Max Reuter Julia Rice Abdón Rodríguez Davila Raymond Harry Putra Rudy Mingi Ryu Ninad Sathaye Chris Schnabel Eddie Schoute Kanav Setia Yunong Shi Adenilton Silva Yukio Siraichi Seyon Sivarajah John A. Smolin Mathias Soeken Hitomi Takahashi Ivano Tavernelli Charles Taylor Pete Taylour Kenso Trabing Matthew Treinish Wes Turner Desiree Vogt-Lee Christophe Vuillot Jonathan A. Wildstrom Jessica Wilson Erick Winston Christopher Wood Stephen Wood Stefan Wörner Ismail Yunus Akhalwaya and Christa Zoufal. 2019. Qiskit: An Open-source Framework for Quantum Computing.

3. A Functional Quantum Programming Language

4. Superlinear Advantage for Exact Quantum Algorithms

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

1. Quantum temporal logic and reachability problems of matrix semigroups;Information and Computation;2024-10

2. Symbolic Execution for Quantum Error Correction Programs;Proceedings of the ACM on Programming Languages;2024-06-20

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

4. LπCET: A Logic Security Analysis for Cryptographic Protocols Based on π‐Calculus Extension Theory;IET Information Security;2024-01

5. Approximate Relational Reasoning for Quantum Programs;Lecture Notes in Computer Science;2024