Structured Theorem for Quantum Programs and its Applications.

Published in: ACM Trans. Softw. Eng. Methodol. (2023)

Keyphrases

structured data
computer programs
quantum computation
databases
evolutionary algorithm
von neumann
information systems
metadata
particle swarm optimization
programming environment
logic circuits
provably correct