A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic.
Xuan-Bach LeShang-Wei LinJun SunDavid SanánPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- quantum computation
- logic circuits
- quantum mechanics
- quantum computing
- automated reasoning
- logical framework
- deductive reasoning
- low power
- multi valued
- quantum inspired
- proof theory
- reasoning engine
- channel capacity
- order of magnitude reasoning
- modal logic
- knowledge representation formalisms
- logical inference
- human reasoning
- abductive reasoning
- probabilistic logic
- computer programs