The bibliographic entry was discovered and compiled by a machine, and let through without anybody vouching for it. The publication itself is the authors' own work — this badge says nothing about it.
Proving pointer programs in Hoare logic
The work
| Title | Proving pointer programs in Hoare logic |
|---|---|
| Authors | Richard Bornat |
| Type | conference paper |
| Year | 2000 |
| Citekey | bornat2000proving |
Where it appeared
| Published in | 5th International Conference on Mathematics of Program Construction (MPC) |
|---|---|
| Publisher | Springer |
| Pages | 102--126 |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | not denied |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{bornat2000proving,
title = {Proving pointer programs in Hoare logic},
author = {Richard Bornat},
year = {2000},
booktitle = {5th International Conference on Mathematics of Program Construction (MPC)},
pages = {102--126},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/bornat2000proving/ and will keep doing so.