{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T13:21:31Z","timestamp":1767705691036,"version":"3.28.0"},"reference-count":59,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T00:00:00Z","timestamp":1670803200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T00:00:00Z","timestamp":1670803200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,12,12]]},"DOI":"10.1109\/sds57574.2022.10062870","type":"proceedings-article","created":{"date-parts":[[2023,3,17]],"date-time":"2023-03-17T13:19:12Z","timestamp":1679059152000},"page":"1-7","source":"Crossref","is-referenced-by-count":2,"title":["Quantum Programming Taxonomy"],"prefix":"10.1109","author":[{"given":"Maria","family":"Belkhir","sequence":"first","affiliation":[{"name":"USTHB university,LSI laboratory Computer Science faculty,Algiers,Algeria"}]},{"given":"Haroun","family":"Benkaouha","sequence":"additional","affiliation":[{"name":"USTHB university,LSI laboratory Computer Science faculty,Algiers,Algeria"}]},{"given":"Elhadj","family":"Benkhelifa","sequence":"additional","affiliation":[{"name":"Staffordshire University,Smart Systems, AI and Cybersecurity Research Centre,Stoke on Trent,UK"}]}],"member":"263","reference":[{"journal-title":"Quantum software development kits in 2022","year":"0","key":"ref13"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1088\/0034-4885\/76\/7\/076001"},{"journal-title":"What is an sdk?","year":"0","key":"ref12"},{"journal-title":"IBM Quantum Roadmap","year":"0","key":"ref56"},{"journal-title":"What is azure quantum? - azure quantum - microsoft learn","year":"0","key":"ref15"},{"journal-title":"Top 10 quantum computing companies in 2022 - greyb","year":"0","key":"ref59"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-7246-6_4"},{"journal-title":"10 companies developing quantum computers","year":"0","key":"ref58"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1038\/35017505"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38986-3_10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-03-11-129"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1063\/1.3086114"},{"journal-title":"Blackbird programming language - strawberry fields","year":"0","key":"ref10"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICATMRI51801.2020.9398441"},{"journal-title":"Google Quantum-AI","year":"0","key":"ref17"},{"journal-title":"Google quantum computing service &#x2014; cirq &#x2014; google quantum ai","year":"0","key":"ref16"},{"journal-title":"Projectq - open source software for quantum computing","year":"0","key":"ref19"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-01-31-49"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703432165"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.1"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"journal-title":"Liqui|> A software design architecture and domain-specific language for Quantum computing","year":"0","author":"wecker","key":"ref48"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.01.015"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"ref41","article-title":"Scaffold: Quantum programming language","author":"abhari","year":"2012","journal-title":"PRINCETON UNIV NJ DEPT OF COMPUTER SCIENCE"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802037"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1140\/epjd\/e2003-00242-2"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-2390-0_12"},{"journal-title":"Open quantum assembly language","year":"2017","author":"cross","key":"ref8"},{"journal-title":"A practical quantum instruction set architecture","year":"2016","author":"smith","key":"ref7"},{"key":"ref9","article-title":"Openqasm 3: A broader and deeper quantum assembly language","author":"cross","year":"2021","journal-title":"ACM Trans Quantum Comput"},{"journal-title":"What is an instruction set?","year":"0","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11831-019-09372-6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.4"},{"journal-title":"cQASM v1 0 Towards a common quantum assembly language","year":"2018","author":"khammassi","key":"ref5"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2597917.2597939"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-02516-7"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1017\/9781009099974"},{"journal-title":"Guarded command language - definition - encyclo","year":"0","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.35799\/dc.6.1.2017.14988"},{"key":"ref31","article-title":"High Level Structures for Quantum Computing","author":"miszczak","year":"2022","journal-title":"Synthesis Lectures on Quantum Computing"},{"journal-title":"A Procedural Formalism for Quantum Computing","year":"1998","author":"\u00f6mer","key":"ref30"},{"journal-title":"A theorem prover for quantum hoare logic and its applications","year":"2016","author":"liu","key":"ref33"},{"key":"ref32","first-page":"133","article-title":"Qs: A quantum programming environment","author":"liu","year":"0","journal-title":"Symposium on Real-Time and Hybrid Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24754-8_1"},{"journal-title":"Quantum computing research trends report","year":"0","key":"ref1"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2016.7761637"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-005-0165-3"},{"journal-title":"Cambridge quantum - cambridge quantum","year":"0","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-03-11-129"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"79","DOI":"10.22331\/q-2018-08-06-79","article-title":"Quantum computing in the nisq era and beyond","volume":"2","author":"preskill","year":"2018","journal-title":"Quantum"},{"key":"ref20","first-page":"58l","article-title":"The ibm q experience and qiskit open-source quantum computing software","volume":"2018","author":"cross","year":"0","journal-title":"APS March Meeting Abstracts"},{"journal-title":"Quantum computing - rigetti computing","year":"0","key":"ref22"},{"journal-title":"Welcome to the docs for the forest sdk! - pyquil 2 6 0 documentation","year":"0","key":"ref21"},{"journal-title":"Pennylane","year":"0","key":"ref28"},{"journal-title":"Pennylane Automatic differentiation of hybrid quantum-classical computations","year":"2018","author":"bergholm","key":"ref27"},{"journal-title":"Imperative language - an overview - sciencedirect topics","year":"0","key":"ref29"}],"event":{"name":"2022 Ninth International Conference on Software Defined Systems (SDS)","start":{"date-parts":[[2022,12,12]]},"location":"Paris, France","end":{"date-parts":[[2022,12,15]]}},"container-title":["2022 Ninth International Conference on Software Defined Systems (SDS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10062416\/10062868\/10062870.pdf?arnumber=10062870","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,10]],"date-time":"2023-04-10T14:53:53Z","timestamp":1681138433000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10062870\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,12]]},"references-count":59,"URL":"https:\/\/doi.org\/10.1109\/sds57574.2022.10062870","relation":{},"subject":[],"published":{"date-parts":[[2022,12,12]]}}}