Toward Automatic Verification of Quantum Programs.

Published in: CoRR (2018)

Keyphrases

quantum computing
computer programs
automatic programming
control structures
neural network
decision making
real time
social networks
case study
high level
bayesian networks
fixpoint
control program
prolog programs