Compiling Adiabatic Quantum Programs.

Faisal Shah Khan Nada Elsokkary Travis S. Humble

Published in: GLOBECOM Workshops (2018)

Keyphrases

real time
quantum computation
multiscale
databases
quantum computing
provably correct
automatic programming
fixpoint
logic programs
computer programs
programming environment
object oriented
probabilistic model
control structures
optimal solution
image processing
neural network