Nicholas D. Matsakis, Thomas R. Gross
A time-aware type system for data-race protection and guaranteed initialization
OOPSLA, 2010.
@inproceedings{OOPSLA-2010-MatsakisG,
author = "Nicholas D. Matsakis and Thomas R. Gross",
booktitle = "{Proceedings of the 25th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
doi = "10.1145/1869459.1869511",
editor = "William R. Cook and Siobhán Clarke and Martin C. Rinard",
isbn = "978-1-4503-0203-6",
pages = "634--651",
publisher = "{ACM}",
title = "{A time-aware type system for data-race protection and guaranteed initialization}",
year = 2010,
}











