.png){kind=icon}
.png){kind=icon}
Return
Static Analysis and Transformation for Quantum Programming Languages [Focus: Quantum Software and Its Engineering]
.png){kind=icon}
PRE
AI
DOI：10.1109/MS.2025.3566634.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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.
Keywords:
Qubit
Codes
Computer languages
Source coding
Static analysis
Logic gates
Software measurement
Quantum circuit
Training
Quantum algorithm
Software development management
Quantum computing