A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
Instantiation of general terms
1976
Journal of Verbal Learning and Verbal Behavior
Unintended or unmediated data sharing is a frequent cause of insidious bugs in multithreaded programs. We present a tool called SharC (short for Sharing Checker) that allows a user to write lightweight annotations to declare how they believe objects are being shared between threads in their program. SharC uses a combination of static and dynamic analyses to check that the program conforms to this specification. SharC allows any type to have one of five "sharing modes"private to the current
doi:10.1016/0022-5371(76)90059-1
fatcat:aquvr6fjxjfl5c6zgxcazoy3dy