Jacques Carette, Gerardo Ortiz, Amr Sabry. Symbolic Execution of Hadamard-Toffoli Quantum Circuits. In Edwin C. Brady, Jens Palsberg, editors, Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023. pages 14-26, ACM, 2023. [doi]
@inproceedings{CaretteOS23,
title = {Symbolic Execution of Hadamard-Toffoli Quantum Circuits},
author = {Jacques Carette and Gerardo Ortiz and Amr Sabry},
year = {2023},
doi = {10.1145/3571786.3573018},
url = {https://doi.org/10.1145/3571786.3573018},
researchr = {https://researchr.org/publication/CaretteOS23},
cites = {0},
citedby = {0},
pages = {14-26},
booktitle = {Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023},
editor = {Edwin C. Brady and Jens Palsberg},
publisher = {ACM},
}