Toward automatic verification of quantum programs.

Published in: Formal Aspects Comput. (2019)

Keyphrases

quantum computing
answer sets
computer programs
automatic programming
quantum computation
provably correct
programming environment
quantum inspired
prolog programs
control program
control flow
real time
logic programming
evolutionary algorithm
bayesian networks
decision making
databases