Views: compositional reasoning for concurrent programs
The work
| Authors | Thomas Dinsdale-Young; Lars Birkedal; Philippa Gardner; Matthew Parkinson; Hongseok Yang |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2013 |
| Citekey | dinsdaleyoung2013views |
Where it appeared
| Published in | 40th ACM Symposium on Principles of Programming Languages (POPL) |
|---|---|
| Publisher | Association for Computing Machinery |
| Pages | 287--300 |
Identifiers
| DOI | 10.1145/2429069.2429104 |
|---|
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-09 12:24 UTC |
Filed under
birkedal gardner hongseokyang parkinson what-a-process-may-share
Cite it as
@inproceedings{dinsdaleyoung2013views,
title = {Views: compositional reasoning for concurrent programs},
author = {Thomas Dinsdale-Young and Lars Birkedal and Philippa Gardner and Matthew Parkinson and Hongseok Yang},
year = {2013},
booktitle = {40th ACM Symposium on Principles of Programming Languages (POPL)},
publisher = {Association for Computing Machinery},
pages = {287--300},
doi = {10.1145/2429069.2429104},
}
This record lives at https://refs.drheap.org/dinsdaleyoung2013views/ and will keep doing so.