Views: compositional reasoning for concurrent programs
The work
| Title | Views: compositional reasoning for concurrent programs |
|---|---|
| Authors | Thomas Dinsdale-Young; Lars Birkedal; Philippa Gardner; Matthew Parkinson; Hongseok Yang |
| Type | conference paper |
| 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 |
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
@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)},
pages = {287--300},
publisher = {Association for Computing Machinery},
}
This record lives at https://refs.drheap.org/dinsdaleyoung2013views/ and will keep doing so.