234 citations · 235 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
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…
cs.LO2017★ 1 cited
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…