{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T00:49:09Z","timestamp":1773190149183,"version":"3.50.1"},"reference-count":15,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"U.S. National Science Foundation","doi-asserted-by":"publisher","award":["CNS 20-16465\/16452"],"award-info":[{"award-number":["CNS 20-16465\/16452"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"U.S. National Science Foundation","doi-asserted-by":"publisher","award":["OAC 22-38734"],"award-info":[{"award-number":["OAC 22-38734"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"U.S. National Science Foundation","doi-asserted-by":"publisher","award":["OAC 22-30111"],"award-info":[{"award-number":["OAC 22-30111"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"U.S. National Science Foundation","doi-asserted-by":"publisher","award":["OAC 22-17021"],"award-info":[{"award-number":["OAC 22-17021"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"U.S. National Science Foundation","doi-asserted-by":"publisher","award":["OAC 23-11950"],"award-info":[{"award-number":["OAC 23-11950"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Softw."],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1109\/ms.2025.3566634","type":"journal-article","created":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T13:56:34Z","timestamp":1746453394000},"page":"58-64","source":"Crossref","is-referenced-by-count":1,"title":["Static Analysis and Transformation for Quantum Programming Languages [Focus: Quantum Software and Its Engineering]"],"prefix":"10.1109","volume":"42","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-3104-7743","authenticated-orcid":false,"given":"Joshua A. C.","family":"Behler","sequence":"first","affiliation":[{"name":"Department of Computer Science, Kent State University, Kent, OH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-5383-464X","authenticated-orcid":false,"given":"Ali F.","family":"Al-Ramadan","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Akron, Akron, OH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2130-8106","authenticated-orcid":false,"given":"Betis","family":"Baheri","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Kent State University, Kent, OH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4271-1383","authenticated-orcid":false,"given":"Michael L.","family":"Collard","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Kent State University, Kent, OH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3804-8945","authenticated-orcid":false,"given":"Qiang","family":"Guan","sequence":"additional","affiliation":[{"name":"Department of Cybersecurity, State University of New York at Canton, Canton, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5289-135X","authenticated-orcid":false,"given":"Jonathan I.","family":"Maletic","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Kent State University, Kent, OH, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Quantum computing market size, share & growth","year":"2024"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2022-12-07-870"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/s42254-024-00770-9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ms.2024.3427168"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1049\/qtc2.12096"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/icse48619.2023.00041"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3660802"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/q-se59154.2023.00014"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/icsm.2013.85"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/scam.2011.19"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1038\/s42254-020-00245-7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2024.103217"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/q-se59154.2023.00013"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/qce60285.2024.00103"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/tvcg.2023.3327148"}],"container-title":["IEEE Software"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/52\/11119099\/10988697-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/52\/11119099\/10988697.pdf?arnumber=10988697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T20:55:30Z","timestamp":1770152130000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10988697\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":15,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/ms.2025.3566634","relation":{},"ISSN":["0740-7459","1937-4194"],"issn-type":[{"value":"0740-7459","type":"print"},{"value":"1937-4194","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9]]}}}