{"id":"https://openalex.org/W2955434816","doi":"https://doi.org/10.1145/3314221.3314584","title":"An applied quantum Hoare logic","display_name":"An applied quantum Hoare logic","publication_year":2019,"publication_date":"2019-06-07","ids":{"openalex":"https://openalex.org/W2955434816","doi":"https://doi.org/10.1145/3314221.3314584","mag":"2955434816"},"language":"en","primary_location":{"id":"doi:10.1145/3314221.3314584","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3314221.3314584","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://opus.lib.uts.edu.au/bitstream/10453/140615/2/3314221.3314584.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051561743","display_name":"Li Zhou","orcid":"https://orcid.org/0000-0002-9868-8477"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Li Zhou","raw_affiliation_strings":["Tsinghua University, China"],"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088217238","display_name":"Nengkun Yu","orcid":"https://orcid.org/0000-0003-1188-3032"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Nengkun Yu","raw_affiliation_strings":["University of Technology Sydney, Australia"],"affiliations":[{"raw_affiliation_string":"University of Technology Sydney, Australia","institution_ids":["https://openalex.org/I114017466"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023088481","display_name":"Mingsheng Ying","orcid":"https://orcid.org/0000-0003-4847-702X"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["AU","CN"],"is_corresponding":false,"raw_author_name":"Mingsheng Ying","raw_affiliation_strings":["University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China / Tsinghua University, China"],"affiliations":[{"raw_affiliation_string":"University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China / Tsinghua University, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I99065089","https://openalex.org/I114017466","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5051561743"],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":3.9019,"has_fulltext":true,"cited_by_count":63,"citation_normalized_percentile":{"value":0.94910501,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"1149","last_page":"1162"},"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.9998999834060669,"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.9998999834060669,"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.996999979019165,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9926000237464905,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hoare-logic","display_name":"Hoare logic","score":0.7578897476196289},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6692512631416321},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5413747429847717},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5089817047119141},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4147467613220215},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.4111727476119995},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38734740018844604},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3539801836013794},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.11611515283584595},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06885036826133728}],"concepts":[{"id":"https://openalex.org/C104949639","wikidata":"https://www.wikidata.org/wiki/Q1375924","display_name":"Hoare logic","level":3,"score":0.7578897476196289},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6692512631416321},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5413747429847717},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5089817047119141},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4147467613220215},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.4111727476119995},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38734740018844604},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3539801836013794},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.11611515283584595},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06885036826133728},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3314221.3314584","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3314221.3314584","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:opus.lib.uts.edu.au:10453/140615","is_oa":true,"landing_page_url":"http://hdl.handle.net/10453/140615","pdf_url":"https://opus.lib.uts.edu.au/bitstream/10453/140615/2/3314221.3314584.pdf","source":{"id":"https://openalex.org/S4306401357","display_name":"UTS ePRESS (University of Technology Sydney)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114017466","host_organization_name":"University of Technology Sydney","host_organization_lineage":["https://openalex.org/I114017466"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Proceeding"}],"best_oa_location":{"id":"pmh:oai:opus.lib.uts.edu.au:10453/140615","is_oa":true,"landing_page_url":"http://hdl.handle.net/10453/140615","pdf_url":"https://opus.lib.uts.edu.au/bitstream/10453/140615/2/3314221.3314584.pdf","source":{"id":"https://openalex.org/S4306401357","display_name":"UTS ePRESS (University of Technology Sydney)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114017466","host_organization_name":"University of Technology Sydney","host_organization_lineage":["https://openalex.org/I114017466"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Proceeding"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1366556733","display_name":null,"funder_award_id":"DE180100156, DP180100691","funder_id":"https://openalex.org/F4320337726","funder_display_name":"Centre of Excellence for Core to Crust Fluid Systems, Australian Research Council"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G323530312","display_name":null,"funder_award_id":"6183201","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6979490891","display_name":null,"funder_award_id":"DE180100156","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"},{"id":"https://openalex.org/G8331665637","display_name":null,"funder_award_id":"DP180100691","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"},{"id":"https://openalex.org/G8332624565","display_name":null,"funder_award_id":"61832015","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"},{"id":"https://openalex.org/F4320337726","display_name":"Centre of Excellence for Core to Crust Fluid Systems, Australian Research Council","ror":"https://ror.org/03nk9pp38"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2955434816.pdf"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W294073838","https://openalex.org/W315375968","https://openalex.org/W1492999010","https://openalex.org/W1498858133","https://openalex.org/W1543118902","https://openalex.org/W1802214495","https://openalex.org/W1988369744","https://openalex.org/W1999626800","https://openalex.org/W2044357043","https://openalex.org/W2044912742","https://openalex.org/W2107220315","https://openalex.org/W2114473497","https://openalex.org/W2121087903","https://openalex.org/W2126098510","https://openalex.org/W2131275552","https://openalex.org/W2138408756","https://openalex.org/W2139821069","https://openalex.org/W2149744265","https://openalex.org/W2155544688","https://openalex.org/W2157601714","https://openalex.org/W2160347025","https://openalex.org/W2293720162","https://openalex.org/W2336782306","https://openalex.org/W2338028966","https://openalex.org/W2482129511","https://openalex.org/W2562491126","https://openalex.org/W2563269605","https://openalex.org/W2570091096","https://openalex.org/W2779911866","https://openalex.org/W2787461609","https://openalex.org/W2790668893","https://openalex.org/W2898709003","https://openalex.org/W2899524259","https://openalex.org/W2909898489","https://openalex.org/W2914012520","https://openalex.org/W2937637014","https://openalex.org/W3007889862","https://openalex.org/W3101283140","https://openalex.org/W3102773744","https://openalex.org/W3105690832","https://openalex.org/W3109961245","https://openalex.org/W3126077699","https://openalex.org/W3126124413","https://openalex.org/W3126996113","https://openalex.org/W4249911606","https://openalex.org/W6601523666"],"related_works":["https://openalex.org/W2061417947","https://openalex.org/W2165970356","https://openalex.org/W2574359038","https://openalex.org/W2106298491","https://openalex.org/W3037420009","https://openalex.org/W2074630311","https://openalex.org/W2123186536","https://openalex.org/W2538092803","https://openalex.org/W3014241878","https://openalex.org/W1482309497"],"abstract_inverted_index":{"We":[0],"derive":[1],"a":[2,22],"variant":[3],"of":[4,25,36,59,65,69,87],"quantum":[5,11,37,60,80],"Hoare":[6,12],"logic":[7,13],"(QHL),":[8],"called":[9],"applied":[10],"(aQHL":[14],"for":[15,55,84],"short),":[16],"by:":[17],"1.":[18],"restricting":[19],"QHL":[20],"to":[21,76],"special":[23],"class":[24],"preconditions":[26],"and":[27,39,48,50,90],"postconditions,":[28],"namely":[29],"projections,":[30],"which":[31],"can":[32],"significantly":[33],"simplify":[34],"verification":[35],"programs":[38],"are":[40],"much":[41],"more":[42],"convenient":[43],"when":[44],"used":[45],"in":[46],"debugging":[47],"testing;":[49],"2.":[51],"adding":[52],"several":[53],"rules":[54],"reasoning":[56],"about":[57],"robustness":[58],"programs,":[61],"i.e.":[62],"error":[63],"bounds":[64],"outputs.":[66],"The":[67],"effectiveness":[68],"aQHL":[70],"is":[71],"shown":[72],"by":[73],"its":[74],"applications":[75],"verify":[77],"two":[78],"sophisticated":[79],"algorithms:":[81],"HHL":[82],"(Harrow-Hassidim-Lloyd)":[83],"solving":[85],"systems":[86],"linear":[88],"equations":[89],"qPCA":[91],"(quantum":[92],"Principal":[93],"Component":[94],"Analysis).":[95]},"counts_by_year":[{"year":2026,"cited_by_count":6},{"year":2025,"cited_by_count":14},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":12},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}