Concurrent programming with revisions and isolation types

Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen. Concurrent programming with revisions and isolation types. In William R. Cook, Siobhán Clarke, Martin C. Rinard, editors, Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. pages 691-707, ACM, Reno/Tahoe, Nevada, 2010. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.