Toward certified quantum programming.

Christophe Chareton Sébastien Bardin François Bobot Valentin Perrelle Benoît Valiron

Published in: CoRR (2020)

Keyphrases

programming language
programming environment
object oriented programming
quantum computation
artificial intelligence
quantum computing
high level language
database
real time
databases
information systems
database systems
general purpose
quantum inspired
programming education