Procedures and parameters: An axiomatic approach
The work
| Title | Procedures and parameters: An axiomatic approach |
|---|---|
| Authors | C. A. R. Hoare |
| Type | chapter in a collection |
| Year | 1971 |
| Citekey | hoare1971procedures |
Where it appeared
| Published in | Symposium on Semantics of Algorithmic Languages |
|---|---|
| Pages | 102--116 |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-07 |
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},
}
This record lives at https://refs.drheap.org/hoare1971procedures/ and will keep doing so.