Thread contracts for race-freedom

By Rajesh Kumar Karmani, P Madhusudan, and Brandon Moore. In Technical Report, Department of Computer Science, University of Illinois at Urbana Champaign. 2010.

BibTeX

@inproceedings{accord-tr,
    author = "Karmani, Rajesh Kumar and Madhusudan, P and Moore,
              Brandon",
    title = "Thread Contracts for Race-Freedom",
    booktitle = "Technical Report, Department of Computer Science,
                 University of Illinois at Urbana Champaign",
    keywords = "software engineering, programming languages",
    year = "2010",
}