Reasoning About Imperative Quantum Programs-Reference-Cited by-同舟云学术

Reasoning About Imperative Quantum Programs

Published:2006-05 Issue: Volume:158 Page:19-39
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Chadha R.,Mateus P.,Sernadas A.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference34 articles.

1. Decidability and expressiveness for first-order logics of probability;Abadi;Information and Computation,1994

2. A categorical semantics of quantum protocols;Abramsky,2004

3. P. Adão and P. Mateus. A process algebra for reasoning about quantum security. Electronic Notes in Theoretical Computer Science, to appear. Preliminary version presented at 3rd International Workshop on Quantum Programming Languages, June 30 - July 1, 2005, Chicago, Affiliated Workshop of LICS 2005

4. A functional quantum programming language;Altenkirch,2005

5. A. Baltag and S. Smets. LQP: The dynamic logic of quantum information. Mathematical Structures in Computer Science, 2006. To appear

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

1. References;Foundations of Quantum Programming;2024

2. Introduction;Foundations of Quantum Programming;2024

3. Local Reasoning About Probabilistic Behaviour for Classical–Quantum Programs;Lecture Notes in Computer Science;2023-12-30

4. QIn: Enabling Formal Methods to Deal with Quantum Circuits;2023 IEEE International Conference on Quantum Software (QSW);2023-07

5. Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09