On incorrectness logic for Quantum programs.
Peng YanHanru JiangNengkun YuPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- quantum computation
- logic circuits
- dynamic logic
- logic synthesis
- logic programming
- declarative semantics
- modal logic
- quantum computing
- automated reasoning
- proof theory
- multi valued
- recursive programs
- quantum inspired
- functional programs
- quantum mechanics
- automatic programming
- low power
- deductive databases
- probability ranking principle
- neural network
- sound and complete axiomatization
- channel capacity
- predicate logic
- probabilistic logic
- stable models
- logic programs