Modular reasoning for deterministic parallelism
Mike Dodds, Suresh Jagannathan, and Matthew J. Parkinson
2011
In POPL
Details
| Type | Inproceedings |
| Pages | 259-270 |
Mike Dodds, Suresh Jagannathan, and Matthew J. Parkinson
2011
In POPL
| Type | Inproceedings |
| Pages | 259-270 |