Reasoning about faulty quantum programs

DOI10.1007/S00236-009-0100-0zbMath1183.68155OpenAlexW2089508288MaRDI QIDQ1031864

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

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

Related Items (1)

Compiling quantum programs

Uses Software

• QPL
• qGCL
• QML

Cites Work

• Probabilistic models for the guarded command language
• Rapid solution of problems by quantum computation
• Quantum cryptography based on Bell’s theorem
• Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
• Abstraction, Refinement and Proof for Probabilistic Systems
• Towards a quantum programming language
• Proposed Experiment to Test Local Hidden-Variable Theories
• Quantum programming languages: survey and bibliography
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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