Assigning meanings to programs
The work
| Authors | Robert W. Floyd |
|---|---|
| Editors | |
| 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 |
|---|
Empty on purpose
| abstract |
Related
| Distinct from | cerone2021rooting |
|---|---|
| Distinct from | colburn1993program |
| Distinct from | floyd1993assigning |
| Distinct from | gruss2017kaslr |
| Distinct from | matthews2006verification |
| Distinct from | parnas2010really |
| Distinct from | pnueli1977temporal |
| Reprinted as | floyd1993assigning |
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},
publisher = {American Mathematical Society},
series = {Proceedings of Symposia in Applied Mathematics},
volume = {19},
pages = {19--32},
doi = {10.1090/psapm/019/0235771},
}
This record lives at https://refs.drheap.org/floyd1967assigning/ and will keep doing so.