2 papers
quant-ph2026
Formal Modeling and Verification of Grover's Algorithm
H. Sun, Z. Shi, S. Chen +5
Grover's algorithm relies on the superposition and interference of quantum mechanics, which is more efficient than classical computing in specific tasks such as searching an unsort…
cs.PL2021
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics
Ximeng Li, Qianying Zhang, Guohui Wang +2
A reliable technique for deductive program verification should be proven sound with respect to the semantics of the programming language. For each different language, the construct…