Symbolic Execution of Hadamard-Toffoli Quantum Circuits
| Title: | Symbolic Execution of Hadamard-Toffoli Quantum Circuits |
|---|---|
| Authors: | Carette, Jacques; Ortiz, Gerardo; Sabry, Amr |
| Source: | Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. :14-26 |
| Availability: | http://dl.acm.org/doi/10.1145/3571786.3573018 |
| Database: | ACM Full-Text Collection |