Proof rules for the correctness of quantum programs (Q2455601)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proof rules for the correctness of quantum programs |
scientific article |
Statements
Proof rules for the correctness of quantum programs (English)
0 references
25 October 2007
0 references
Quantum programming language
0 references
quantum predicate
0 references
quantum loops
0 references
proof rules
0 references