Invariants of quantum programs: characterisations and generation.

Mingsheng Ying Shenggang Ying Xiaodi Wu

Published in: POPL (2017)

Keyphrases

imperative programs
quantum inspired
affine invariant
inductive inference
real time
artificial intelligence
information technology
database
similarity measure
artificial neural networks
generation process
dynamic logic
quantum computing
quasi invariant