Compiling quantum programs
From MaRDI portal
Publication:2484067
DOI10.1007/s00236-005-0165-3zbMath1079.68020OpenAlexW2072765545MaRDI QIDQ2484067
Publication date: 2 August 2005
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-005-0165-3
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Termination of nondeterministic quantum programs ⋮ A framework for quantum-classical cryptographic translation ⋮ Quantum loop programs ⋮ Generalised quantum weakest preconditions ⋮ Quantum fuzzy inference for knowledge base design in robust intelligent controllers ⋮ qGCL
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about faulty quantum programs
- Normal form approach to compiler design
- Probabilistic models for the guarded command language
- Counterfactual computation
- Quantum Programming With Mixed States
- Quantum computational networks
- Guarded commands, nondeterminacy and formal derivation of programs
- Universality in quantum computation
- A universal two-bit gate for quantum computation
- A single quantum cannot be cloned
- Partial correctness for probabilistic demonic programs
This page was built for publication: Compiling quantum programs
