Reasoning about faulty quantum programs

DOI10.1007/s00236-009-0100-0zbMath1183.68155MaRDI 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 inequalities; Deutsch-Jozsa quantum algorithm; quantum cryptography protocols

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

81P68: Quantum computation

68N15: Theory of programming languages

68Q12: Quantum algorithms and complexity in the theory of computing

Related Items

Compiling quantum programs

Uses Software

• QPL
• qGCL
• QML