[WQS24] A Static Analysis for High-Level Quantum Programming Languages | ACM SIGPLAN | Podwise