Static Analysis and Transformation for Quantum Programming Languages [Focus: Quantum Software and Its Engineering]

Despite progress in quantum research, there is a notable lack of development tools and technologies that assist developers in designing and analyzing quantum programs. This article aims to address this gap using a software engineering approach.