Invariants of quantum programs: characterisations and generation (Q5370916)
From MaRDI portal
scientific article; zbMATH DE number 6794697
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Invariants of quantum programs: characterisations and generation |
scientific article; zbMATH DE number 6794697 |
Statements
Invariants of quantum programs: characterisations and generation (English)
0 references
20 October 2017
0 references
inductive assertions
0 references
invariant generation
0 references
partial correctness
0 references
program invariants
0 references
quantum programming
0 references
