Commutativity of quantum weakest preconditions

DOI10.1016/J.IPL.2007.06.003MaRDI QIDQ2380014zbMATH OpenOpenAlexFDO

Authors Jianxin Chen, Yuan Feng, Runyao Duan, Mingsheng Ying

Publication date 24 March 2010

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10453/8318

zbMATH Keywords

formal semanticsHermitian matrixquantum programsuper-operatorweakest precondition

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Recommendations

• Commutativity of quantum weakest liberal precondition and its properties
• Generalised quantum weakest preconditions
• Quantum weakest preconditions
• scientific article; zbMATH DE number 5708042
• Natural Quantum Operational Semantics with Predicates

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 3929737 (Why is no real title available?)
• scientific article; zbMATH DE number 1256737 (Why is no real title available?)
• scientific article; zbMATH DE number 3241639 (Why is no real title available?)
• Proof rules for the correctness of quantum programs
• Quantum weakest preconditions
• Reasoning about imperative quantum programs
• Semantics of probabilistic programs
• Towards a quantum programming language

Cited in

(5)

• Commutativity of quantum weakest liberal precondition and its properties
• Quantum weakest preconditions
• Toward automatic verification of quantum programs
• Quantum loop programs
• Generalised quantum weakest preconditions

Describes a project that uses

Uses Software

• qGCL
• QPL

This page was built for publication: Commutativity of quantum weakest preconditions

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