Open AccessQuantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs
Author(s) -
Junyi Liu,
Li Zhou,
Gilles Barthe,
Mingsheng Ying
Publication year - 2022
Publication title -
cern document server (european organization for nuclear research)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/3531130.3533327
Subject(s) - computer science , quantum algorithm , quantum computer , probabilistic logic , theoretical computer science , quantum , algorithm , quantum mechanics , physics , artificial intelligence
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom