Assigning meanings to programs
The work
| Authors | Robert W. Floyd |
|---|---|
| Type | incollection |
| Year | 1967 |
| Citekey | floyd1967assigning |
Where it appeared
| Published in | Proceedings of symposia in applied mathematics |
|---|---|
| Publisher | American Mathematical Society |
| Series | Proceedings of Symposia in Applied Mathematics |
| Volume | 19 |
| Pages | 19--32 |
Identifiers
| DOI | 10.1090/psapm/019/0235771 |
|---|---|
| OpenAlex | W4251912342 |
Access
| Landing page | https://doi.org/10.1090/psapm/019/0235771 |
|---|
Related
| Distinct from | floyd1993assigning |
|---|---|
| Reprinted as | floyd1993assigning The 1993 appearance in Colburn, Fetzer and Rankin's Program Verification: Fundamental Issues in Computer Science reprints the 1967 Proceedings of Symposia in Applied Mathematics paper. The pair was already linked distinct-from, which is true but says less than the relation warrants. |
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-08-24 00:00 UTC |
| Approved by | a person 2026-08-24 07:33 UTC |
Filed under
Cite it as
@incollection{floyd1967assigning,
title = {Assigning meanings to programs},
author = {Robert W. Floyd},
year = {1967},
booktitle = {Proceedings of symposia in applied mathematics},
volume = {19},
pages = {19--32},
publisher = {American Mathematical Society},
series = {Proceedings of Symposia in Applied Mathematics},
doi = {10.1090/psapm/019/0235771},
}
This record lives at https://refs.drheap.org/floyd1967assigning/ and will keep doing so.