Twist: sound reasoning for purity and entanglement in Quantum programs.
Charles YuanChristopher McNallyMichael CarbinPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- reasoning systems
- knowledge base
- data sets
- database
- quantum computation
- quantum computing
- reasoning tasks
- knowledge representation
- computer programs
- reasoning about actions
- reasoning process
- consistency checking
- domain knowledge
- genetic algorithm
- case based reasoning
- bayesian networks
- control program
- logic circuits
- computational properties
- automated reasoning
- spatial reasoning
- meta level
- programming language
- object oriented