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.

Saved in:
Bibliographic Details
Published in:IEEE software Vol. 42; no. 5; pp. 58 - 64
Main Authors: Behler, Joshua A. C., Al-Ramadan, Ali F., Baheri, Betis, Collard, Michael L., Guan, Qiang, Maletic, Jonathan I.
Format: Journal Article
Language:English
Published: Los Alamitos IEEE 01.09.2025
IEEE Computer Society
Subjects:
Codes
Computer languages
Logic gates
Programming languages
Quantum algorithm
Quantum circuit
Qubit
Software measurement
Source coding
Static analysis
Training
ISSN:0740-7459, 1937-4194
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0740-7459
1937-4194
DOI:10.1109/MS.2025.3566634