Relational proofs for quantum programs.
Gilles BartheJustin HsuMingsheng YingNengkun YuLi ZhouPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- computer programs
- relational data
- equational theories
- quantum inspired
- data model
- quantum computing
- automatic programming
- quantum computation
- database systems
- relational databases
- relational learning
- database schema
- databases and data warehouses
- formal proofs
- statistical relational learning
- theorem proving
- real time
- information extraction
- evolutionary algorithm
- case study
- genetic algorithm
- neural network
- data sets