Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
Quantum programming languages enable developers to implement algorithms for quantum computers that promise computational breakthroughs in classically intractable tasks. Programming quantum computers requires awareness of entanglement, the phenomenon in which measurement outcomes of qubits are corre...
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Tesi |
| Pubblicazione: |
Massachusetts Institute of Technology
2022
|
| Accesso online: | https://hdl.handle.net/1721.1/144705 https://orcid.org/0000-0002-4918-4467 |