1 citations · 1 across the 3 of their papers we have counts for
4 papers
Reasoning about Recursive Quantum Programs
Zhaowei Xu, Mingsheng Ying, Benoît Valiron
Most modern (classical) programming languages support recursion. Recursion has also been successfully applied to the design of several quantum algorithms and introduced in a couple…
A Logic for Recursive Quantum Programs
Zhaowei Xu, Mingsheng Ying, Shenggang Ying
Most modern (classical) programming languages support recursion. Recursion has also been successfully applied to the design of several quantum algorithms and introduced in a couple…
Completeness of Hoare Logic over Nonstandard Models
Zhaowei Xu, Yuefei Sui, Wenhui Zhang
The nonstandard approach to program semantics has successfully resolved the completeness problem of Floyd-Hoare logic. The known versions of nonstandard semantics, the Hungary sema…
On Completeness Results of Hoare Logic Relative to the Standard Model
Zhaowei Xu, Wenhui Zhang, Yuefei Sui
The general completeness problem of Hoare logic relative to the standard model of Peano arithmetic has been studied by Cook, and it allows for the use of arbitrary arithmetical…