{"id":"https://openalex.org/W6925100595","doi":"https://doi.org/10.18420/inf2022_93","title":"Programming language for unified computing with classical and quantum bits","display_name":"Programming language for unified computing with classical and quantum bits","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W6925100595","doi":"https://doi.org/10.18420/inf2022_93"},"language":"en","primary_location":{"id":"doi:10.18420/inf2022_93","is_oa":true,"landing_page_url":"https://doi.org/10.18420/inf2022_93","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.18420/inf2022_93","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"G\u00e1lfi, Gergely","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"G\u00e1lfi, Gergely","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Kozsik, Tam\u00e1s","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kozsik, Tam\u00e1s","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Zimbor\u00e1s, Zolt\u00e1n","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zimbor\u00e1s, Zolt\u00e1n","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.40016772,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11267","display_name":"Abdominal Trauma and Injuries","score":0.7975000143051147,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T11267","display_name":"Abdominal Trauma and Injuries","score":0.7975000143051147,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T12322","display_name":"Animal health and immunology","score":0.021900000050663948,"subfield":{"id":"https://openalex.org/subfields/3404","display_name":"Small Animals"},"field":{"id":"https://openalex.org/fields/34","display_name":"Veterinary"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T13374","display_name":"Hematological disorders and diagnostics","score":0.01860000006854534,"subfield":{"id":"https://openalex.org/subfields/2711","display_name":"Emergency Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.641700029373169},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.41370001435279846},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.38830000162124634},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.3808000087738037},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.3472000062465668},{"id":"https://openalex.org/keywords/quantum-information","display_name":"Quantum information","score":0.3407999873161316},{"id":"https://openalex.org/keywords/quantum-logic","display_name":"Quantum logic","score":0.32499998807907104},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.3147999942302704}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7062000036239624},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.641700029373169},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49320000410079956},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45820000767707825},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.41370001435279846},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.38830000162124634},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.3808000087738037},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3472000062465668},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.3407999873161316},{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.32499998807907104},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.3147999942302704},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.30219998955726624},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2955000102519989},{"id":"https://openalex.org/C50831359","wikidata":"https://www.wikidata.org/wiki/Q165436","display_name":"Assembly language","level":3,"score":0.2854999899864197},{"id":"https://openalex.org/C19024347","wikidata":"https://www.wikidata.org/wiki/Q211496","display_name":"High-level programming language","level":3,"score":0.2750999927520752},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.27129998803138733},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.26750001311302185},{"id":"https://openalex.org/C2986567400","wikidata":"https://www.wikidata.org/wiki/Q15777","display_name":"C programming language","level":3,"score":0.2655999958515167},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.259799987077713},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.2547000050544739},{"id":"https://openalex.org/C20528804","wikidata":"https://www.wikidata.org/wiki/Q997433","display_name":"Dependent type","level":3,"score":0.25110000371932983}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18420/inf2022_93","is_oa":true,"landing_page_url":"https://doi.org/10.18420/inf2022_93","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.18420/inf2022_93","is_oa":true,"landing_page_url":"https://doi.org/10.18420/inf2022_93","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"As":[0],"the":[1,8,13,20,23,32,54,125,133,137,146],"capabilities":[2],"of":[3,10,15,22,34,74,89,115,124,136],"quantum":[4,100,147,156],"computers":[5],"-":[6,25],"regarding":[7],"numbers":[9],"physical":[11],"qubits,":[12],"number":[14],"consequtive":[16],"coherence-keeping":[17],"steps,":[18],"or":[19],"noise":[21],"gates":[24],"are":[26,139,149],"continuously":[27],"improving,":[28],"so":[29],"they":[30,68],"enable":[31],"implementation":[33,123],"complex":[35],"algorithms,":[36],"including":[37],"ones":[38],"which":[39],"combine":[40],"classical":[41,98,117,134],"and":[42,50,58,60,99,106,119,142],"quantum-enabled":[43],"steps.":[44],"Such":[45],"computations":[46],"will":[47],"need":[48,71],"control":[49],"data":[51,113],"shared":[52],"between":[53],"two":[55],"worlds":[56],"(quantum":[57],"classical),":[59],"for":[61],"improving":[62],"code":[63],"quality":[64],"by":[65],"eliminating":[66],"redundancies":[67],"may":[69],"also":[70,96],"a":[72,80,129,155],"form":[73],"classical/quantum":[75],"polymorphism.":[76],"This":[77],"paper":[78],"proposes":[79],"high-level":[81],"programming":[82],"language,":[83,104],"Qubla":[84],"to":[85,154],"support":[86],"this":[87,103],"type":[88],"polymorphism,":[90],"allowing":[91],"not":[92],"only":[93],"genericity,":[94],"but":[95],"mixed":[97],"arithmetics.":[101],"In":[102],"arithmetical":[105],"logical":[107],"operations":[108],"can":[109],"be":[110],"performed":[111],"on":[112],"formed":[114],"both":[116],"bits":[118],"qubits.":[120,160],"The":[121],"current":[122],"language":[126],"works":[127],"as":[128,151],"interpreter/compiler":[130],"hybrid:":[131],"all":[132],"steps":[135,148],"program":[138],"executed":[140],"consecutively":[141],"together":[143],"with":[144],"them":[145],"added":[150],"building":[152],"blocks":[153],"logic":[157],"definition":[158],"over":[159]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}