{"id":"https://openalex.org/W7134976793","doi":"https://doi.org/10.1007/s10009-026-00845-1","title":"Challenges in Quantum Programs Analysis","display_name":"Challenges in Quantum Programs Analysis","publication_year":2026,"publication_date":"2026-03-10","ids":{"openalex":"https://openalex.org/W7134976793","doi":"https://doi.org/10.1007/s10009-026-00845-1"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-026-00845-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-026-00845-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-026-00845-1.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10009-026-00845-1.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090447330","display_name":"Nicola Assolini","orcid":"https://orcid.org/0000-0002-6754-6206"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Nicola Assolini","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Verona, Verona, Italy"],"raw_orcid":"https://orcid.org/0000-0002-6754-6206","affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034703008","display_name":"Alessandra Di Pierro","orcid":"https://orcid.org/0000-0003-4173-7941"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandra Di Pierro","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Verona, Verona, Italy"],"raw_orcid":"https://orcid.org/0000-0003-4173-7941","affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031780173","display_name":"Isabella Mastroeni","orcid":"https://orcid.org/0000-0003-1213-536X"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Isabella Mastroeni","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Verona, Verona, Italy"],"raw_orcid":"https://orcid.org/0000-0003-1213-536X","affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5090447330"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":12.1051,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.9744555,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"28","issue":"3","first_page":"345","last_page":"374"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9646999835968018,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9646999835968018,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.00570000009611249,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.0027000000700354576,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.8101999759674072},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5860999822616577},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5464000105857849},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5307000279426575},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.511900007724762},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.475600004196167},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.4659000039100647},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.41370001435279846},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4099999964237213}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.8101999759674072},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7749999761581421},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5860999822616577},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.54830002784729},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5464000105857849},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5307000279426575},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.511900007724762},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.475600004196167},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.4659000039100647},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.41370001435279846},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4099999964237213},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4000000059604645},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.387800008058548},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3718999922275543},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.3714999854564667},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3621000051498413},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.32850000262260437},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28540000319480896},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.2840999960899353},{"id":"https://openalex.org/C5320026","wikidata":"https://www.wikidata.org/wiki/Q2122216","display_name":"Quantum information science","level":4,"score":0.27300000190734863},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.26409998536109924},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.26339998841285706},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.25699999928474426},{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.25380000472068787},{"id":"https://openalex.org/C88230418","wikidata":"https://www.wikidata.org/wiki/Q131476","display_name":"Graph theory","level":2,"score":0.2533999979496002}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10009-026-00845-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-026-00845-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-026-00845-1.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10009-026-00845-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-026-00845-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-026-00845-1.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5828122496604919,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320324120","display_name":"Universit\u00e0 degli Studi di Verona","ror":"https://ror.org/039bp8j42"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7134976793.pdf","grobid_xml":"https://content.openalex.org/works/W7134976793.grobid-xml"},"referenced_works_count":80,"referenced_works":["https://openalex.org/W1533211775","https://openalex.org/W1553894716","https://openalex.org/W1975548669","https://openalex.org/W1987353911","https://openalex.org/W1992114977","https://openalex.org/W2014764321","https://openalex.org/W2020725861","https://openalex.org/W2043100293","https://openalex.org/W2044357043","https://openalex.org/W2046826122","https://openalex.org/W2051446825","https://openalex.org/W2052146120","https://openalex.org/W2079887492","https://openalex.org/W2084019889","https://openalex.org/W2137722266","https://openalex.org/W2148132004","https://openalex.org/W2159673235","https://openalex.org/W2160347025","https://openalex.org/W2230963003","https://openalex.org/W2281702696","https://openalex.org/W2302430074","https://openalex.org/W2313227953","https://openalex.org/W2619038324","https://openalex.org/W2785313565","https://openalex.org/W2790668893","https://openalex.org/W2949686459","https://openalex.org/W2993800728","https://openalex.org/W2996674934","https://openalex.org/W3016898042","https://openalex.org/W3033997567","https://openalex.org/W3136504866","https://openalex.org/W3136636970","https://openalex.org/W3173618123","https://openalex.org/W3173827709","https://openalex.org/W3185543386","https://openalex.org/W3196848260","https://openalex.org/W3205136173","https://openalex.org/W3207402727","https://openalex.org/W3209612530","https://openalex.org/W4205868343","https://openalex.org/W4206219333","https://openalex.org/W4220978240","https://openalex.org/W4230059447","https://openalex.org/W4233847666","https://openalex.org/W4234924236","https://openalex.org/W4315606056","https://openalex.org/W4319296027","https://openalex.org/W4379536095","https://openalex.org/W4383900316","https://openalex.org/W4384471464","https://openalex.org/W4385287098","https://openalex.org/W4385288380","https://openalex.org/W4387874240","https://openalex.org/W4388825660","https://openalex.org/W4389168086","https://openalex.org/W4391927561","https://openalex.org/W4392854993","https://openalex.org/W4399992084","https://openalex.org/W4400343043","https://openalex.org/W4400582509","https://openalex.org/W4402502752","https://openalex.org/W4402526491","https://openalex.org/W4403490984","https://openalex.org/W4404346748","https://openalex.org/W4406222052","https://openalex.org/W4406222168","https://openalex.org/W4406222580","https://openalex.org/W4406261584","https://openalex.org/W4406597102","https://openalex.org/W4406716058","https://openalex.org/W4409967207","https://openalex.org/W4410086875","https://openalex.org/W4410394777","https://openalex.org/W4411175424","https://openalex.org/W4412041618","https://openalex.org/W4412042176","https://openalex.org/W4413823735","https://openalex.org/W4414942819","https://openalex.org/W4416833786","https://openalex.org/W6969089189"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"The":[1],"rapid":[2],"progress":[3],"of":[4,11,20,27,82,93,96],"quantum":[5,21,62,127],"technologies,":[6],"fostered":[7],"by":[8],"the":[9,18,25,37,69,83,94,102],"efforts":[10],"both":[12],"academia":[13],"and":[14,24,33,87,129,131],"industry,":[15],"has":[16],"stimulated":[17],"design":[19],"programming":[22],"languages":[23],"development":[26],"methods":[28],"to":[29,105],"support":[30],"their":[31],"verification":[32],"optimization.":[34],"As":[35],"in":[36,46,68,117],"classical":[38],"setting,":[39],"static":[40,58,133],"analysis":[41,59,124,134],"plays":[42],"a":[43,55,79,122,132],"fundamental":[44],"role":[45],"such":[47],"an":[48],"endeavour.":[49],"In":[50],"this":[51],"paper,":[52],"we":[53,114],"provide":[54],"survey":[56],"on":[57,78,136],"approaches":[60],"for":[61,125,139],"programs,":[63],"which":[64,75,90],"have":[65],"been":[66],"proposed":[67],"literature,":[70],"distinguishing":[71],"between":[72],"dataflow-oriented":[73],"approaches,":[74,89],"are":[76],"based":[77,135],"graph":[80],"representation":[81],"program":[84,103],"information":[85],"flow,":[86],"domain-oriented":[88],"essentially":[91],"consist":[92],"definition":[95],"some":[97],"appropriate":[98],"abstract":[99,137],"domains":[100],"representing":[101],"property":[104],"be":[106],"analysed.":[107],"To":[108],"illustrate":[109],"these":[110],"two":[111,119],"perspectives":[112],"concretely,":[113],"also":[115],"present":[116],"detail":[118],"specific":[120],"analyses:":[121],"dataflow":[123],"managing":[126],"variables":[128],"uncomputation,":[130],"interpretation":[138],"detecting":[140],"state":[141],"entanglement.":[142]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-18T08:10:14.011955","created_date":"2026-03-12T00:00:00"}