Procedures and parameters: An axiomatic approach
The work
| Authors | C. A. R. Hoare |
|---|---|
| Editors | |
| Type | incollection |
| Year | 1971 |
| Citekey | hoare1971procedures |
Where it appeared
| Published in | Symposium on Semantics of Algorithmic Languages |
|---|---|
| Pages | 102--116 |
Identifiers
| DOI | 10.1007/bfb0059696 |
|---|
Settled
| Abstract | carried over from `abstract_absent` at the 1.0 migration |
|---|
A copy is held
pdf, 925.5 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-23 14:13 UTC |
Cite it as
@incollection{hoare1971procedures,
title = {Procedures and parameters: An axiomatic approach},
author = {C. A. R. Hoare},
year = {1971},
booktitle = {Symposium on Semantics of Algorithmic Languages},
pages = {102--116},
doi = {10.1007/bfb0059696},
}
This record lives at https://refs.drheap.org/hoare1971procedures/ and will keep doing so.