Proof rules for the correctness of quantum programs.
Yuan FengRunyao DuanZheng-Feng JiMingsheng YingPublished in: Theor. Comput. Sci. (2007)
Keyphrases
- provably correct
- logical rules
- decision rules
- transformation rules
- recursive programs
- association rules
- rule sets
- database
- quantum computing
- human experts
- programming environment
- imperative programs
- quantum computation
- proof theoretic
- logic circuits
- linear logic
- stable models
- answer set programming
- answer sets
- rough sets
- domain knowledge
- decision trees
- data mining
- databases