Symbolic Execution of Hadamard-Toffoli Quantum Circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jacques Carette' in GoogleThis author has not been identified. Look up 'Gerardo Ortiz' in GoogleThis author has not been identified. Look up 'Amr Sabry' in Google

runs on WebDSL