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.

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE software Ročník 42; číslo 5; s. 58 - 64
Hlavní autoři: Behler, Joshua A. C., Al-Ramadan, Ali F., Baheri, Betis, Collard, Michael L., Guan, Qiang, Maletic, Jonathan I.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Los Alamitos IEEE 01.09.2025
IEEE Computer Society
Témata:
Codes
Computer languages
Logic gates
Programming languages
Quantum algorithm
Quantum circuit
Qubit
Software measurement
Source coding
Static analysis
Training
ISSN:0740-7459, 1937-4194
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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