Quantum programming with mixed states

DOI10.1016/J.ENTCS.2006.12.017MaRDI QIDQ2864175zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Reasoning about general quantum programs over mixed states
• scientific article; zbMATH DE number 1775384
• An introduction to quantum programming in Quipper
• scientific article; zbMATH DE number 1612487
• Towards a quantum programming language

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 1775384 (Why is no real title available?)
• A single quantum cannot be cloned
• Guarded commands, nondeterminacy and formal derivation of programs
• Logical Reversibility of Computation
• Quantum entanglement: criteria and collective tests
• 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

Cited in

(13)

• Compiling quantum programs
• Mimicking quantum mechanics using reactive programming
• Probabilistic bisimulations for quantum processes
• Control aspects of quantum computing using pure and mixed states
• scientific article; zbMATH DE number 5498842 (Why is no real title available?)
• Programming of channels in generalized probabilistic theories
• Proof rules for the correctness of quantum programs
• Computing with highly mixed states
• qGCL
• scientific article; zbMATH DE number 1775384 (Why is no real title available?)
• Reasoning about general quantum programs over mixed states
• Computing with highly mixed states (extended abstract)
• Quantum loop programs

This page was built for publication: Quantum programming with mixed states

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