scientific article; zbMATH DE number 5708042

MaRDI QIDQ3560843zbMATH OpenFDO

Authors Mingsheng Ying, Runyao Duan, Yuan Feng, Zhengfeng Ji

Publication date 14 May 2010

zbMATH Keywords

Birkhoff-von Neumann quantum logicquantum program semanticsquantum weakest preconditions

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55) Quantum computation (81P68)

Recommendations

• Quantum Predicative Programming
• Semantics for a quantum programming language by operator algebras
• Semantics for a quantum programming language by operator algebras
• Reasoning about imperative quantum programs
• Natural Quantum Operational Semantics with Predicates
• Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
• Predicate transformers and higher-order programs
• Quantum Programs as Kleisli Maps
• Towards a quantum programming language

Cited in

(16)

• Predicate transformers as power operations
• Commutativity of quantum weakest preconditions
• Termination of nondeterministic quantum programs
• Proof rules for the correctness of quantum programs
• Quantum programs with classical output streams (extended abstract)
• A hierarchy of quantum semantics
• Model-checking linear-time properties of quantum systems
• Quantum Predicative Programming
• Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation
• Natural Quantum Operational Semantics with Predicates
• Commutativity of quantum weakest liberal precondition and its properties
• Model Checking for Verification of Quantum Circuits
• Quantum temporal logic and reachability problems of matrix semigroups
• Bayesian inference in quantum programs
• Quantum loop programs
• Generalised quantum weakest preconditions

This page was built for publication:

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