Yuan Feng, Yingte Xu. Verification of Nondeterministic Quantum Programs. In Tor M. Aamodt, Natalie D. Enright Jerger, Michael M. Swift, editors, Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2023, Vancouver, BC, Canada, March 25-29, 2023. pages 789-805, ACM, 2023. [doi]
@inproceedings{FengX23,
title = {Verification of Nondeterministic Quantum Programs},
author = {Yuan Feng and Yingte Xu},
year = {2023},
doi = {10.1145/3582016.3582039},
url = {https://doi.org/10.1145/3582016.3582039},
researchr = {https://researchr.org/publication/FengX23},
cites = {0},
citedby = {0},
pages = {789-805},
booktitle = {Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2023, Vancouver, BC, Canada, March 25-29, 2023},
editor = {Tor M. Aamodt and Natalie D. Enright Jerger and Michael M. Swift},
publisher = {ACM},
isbn = {978-1-4503-9918-0},
}