Reasoning About Imperative Quantum Programs.

Rohit Chadha Paulo Mateus Amílcar Sernadas

Published in: MFPS (2006)

Keyphrases

computer programs
qualitative reasoning
case study
genetic algorithm
control program
quantum computing
quantum computation
learning algorithm
artificial intelligence
support vector
causal reasoning
automatic programming
quantum inspired
complete axiomatization