Writing and verifying a Quantum optimizing compiler (keynote).

Published in: CC (2022)

Keyphrases

programming language
key issues
quantum computation
general purpose
software systems
programs written
artificial intelligence
highly optimized
distributed memory machines
real time
learning algorithm
e learning
artificial neural networks
logic circuits
channel capacity
concurrent programming