Abstract | ||
---|---|---|
We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reasoning about quantum states. In our model, the separating conjunction of BI describes separable quantum states. We develop a program logic where pre- and post-conditions are BI formulas describing quantum states—the program logic can be seen as a counterpart of separation logic for imperative quantum... |
Year | DOI | Venue |
---|---|---|
2021 | 10.1109/LICS52264.2021.9470673 | 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
Keywords | DocType | ISBN |
Quantum algorithm,Machine learning algorithms,Semantics,Tutorials,Quantum state,Writing,Cognition | Conference | 978-1-6654-4895-6 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Li Zhou | 1 | 0 | 0.34 |
Gilles Barthe | 2 | 2337 | 152.36 |
Justin Hsu | 3 | 0 | 0.68 |
Ying Mingsheng | 4 | 852 | 80.04 |
Nengkun Yu | 5 | 0 | 0.68 |