Sciweavers

75
Voted
MPC
2000
Springer

Proving Pointer Programs in Hoare Logic

15 years 17 days ago
Proving Pointer Programs in Hoare Logic
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of Hoare logic's treatment of variable assignment, where substitution affects only relevant assertion formul
Richard Bornat
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where MPC
Authors Richard Bornat
Comments (0)