This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Richard Bornat
A grouping.
Richard Bornat: pointer programs in Hoare logic (2000, the year before separation logic), permission accounting for shared reads, and cyclic proofs of termination.
3 references
Cyclic proofs of program termination in separation logic
James Brotherston and others (2008) · ACM SIGPLAN Notices
Permission accounting in separation logic
Richard Bornat and others (2005) · Proceedings of the 32nd ACM Symposium on Principles of Programming Languages
Proving pointer programs in Hoare logic
Richard Bornat (2000) · 5th International Conference on Mathematics of Program Construction (MPC) · Springer