Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.

Junyi Liu Li Zhou Gilles Barthe Mingsheng Ying

Published in: LICS (2022)

Keyphrases

quantum computing
quantum computation
quantum mechanics
quantum inspired
data sets
logic circuits
databases
high level
high speed
situation calculus
channel capacity
probability ranking principle
quantum evolutionary algorithm
database
information systems
low power