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