Reasoning about faulty quantum programs

DOI10.1007/S00236-009-0100-0MaRDI QIDQ1031864zbMATH OpenOpenAlexFDO

Authors Paolo Zuliani

Publication date 23 October 2009

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://eprint.ncl.ac.uk/fulltext.aspx?url=188985/E07FF222-D2A7-4A08-BAD9-85307F0C06C4.pdf&pub_id=188985

zbMATH Keywords

Bell's inequalitiesDeutsch-Jozsa quantum algorithmquantum cryptography protocols

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68)

Recommendations

• Proof rules for the correctness of quantum programs
• Reasoning about imperative quantum programs
• scientific article; zbMATH DE number 1612487
• Reasoning about general quantum programs over mixed states
• A logic for formal verification of quantum programs

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 1612487 (Why is no real title available?)
• scientific article; zbMATH DE number 1495264 (Why is no real title available?)
• scientific article; zbMATH DE number 1775384 (Why is no real title available?)
• scientific article; zbMATH DE number 3383043 (Why is no real title available?)
• scientific article; zbMATH DE number 3109251 (Why is no real title available?)
• Abstraction, Refinement and Proof for Probabilistic Systems
• Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
• Probabilistic models for the guarded command language
• Proposed experiment to test local hidden-variable theories
• Quantum cryptography based on Bell’s theorem
• Quantum programming languages: survey and bibliography
• Rapid solution of problems by quantum computation
• Towards a quantum programming language

Cited in

(3)

• Probabilistic model of fault detection in quantum circuits
• Compiling quantum programs
• Faulty Logic: Reasoning about Fault Tolerant Programs

Describes a project that uses

Uses Software

• QML
• qGCL
• QPL

This page was built for publication: Reasoning about faulty quantum programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1031864)