Nicholas D. Matsakis, Thomas R. Gross. A time-aware type system for data-race protection and guaranteed initialization. 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 634-651, ACM, Reno/Tahoe, Nevada, 2010. [doi]
@inproceedings{MatsakisG10,
title = {A time-aware type system for data-race protection and guaranteed initialization},
author = {Nicholas D. Matsakis and Thomas R. Gross},
year = {2010},
doi = {10.1145/1869459.1869511},
url = {http://doi.acm.org/10.1145/1869459.1869511},
tags = {type system, context-aware},
researchr = {https://researchr.org/publication/MatsakisG10},
cites = {0},
citedby = {0},
pages = {634-651},
booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
address = {Reno/Tahoe, Nevada},
publisher = {ACM},
isbn = {978-1-4503-0203-6},
}