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, }