Refinement calculus of quantum programs with projective assertions.

Yuan Feng Li Zhou Yingte Xu

Published in: CoRR (2023)

Keyphrases

provably correct
quantum computation
knowledge base
learning algorithm
real time
information systems
data model
computer programs
automatic programming
quantum mechanics
algebraic structure
quantum computing
reconstruction from multiple views