Commutativity of quantum weakest preconditions

DOI10.1016/j.ipl.2007.06.003zbMath1184.68258OpenAlexW2053660378MaRDI QIDQ2380014

Runyao Duan, Yuan Feng, Jianxin Chen, Ming Sheng 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 matrixweakest preconditionsuper-operatorquantum program

Mathematics Subject Classification ID

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

Related Items (2)

Toward automatic verification of quantum programs ⋮ Quantum loop programs

Uses Software

• QPL
• qGCL

Cites Work

• Semantics of probabilistic programs
• Proof rules for the correctness of quantum programs
• Towards a quantum programming language
• Quantum weakest preconditions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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