Quantum Programming With Mixed States

DOI10.1016/j.entcs.2006.12.017zbMath1277.68061OpenAlexW2023244877MaRDI QIDQ2864175

Paolo Zuliani

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.12.017

zbMATH Keywords

quantum circuitmixed stateprobabilistic computationquantum programming

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Proof rules for the correctness of quantum programs ⋮ Probabilistic bisimulations for quantum processes ⋮ Compiling quantum programs ⋮ Quantum loop programs ⋮ qGCL

Cites Work

• States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
• Guarded commands, nondeterminacy and formal derivation of programs
• A single quantum cannot be cloned
• Logical Reversibility of Computation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quantum Programming With Mixed States