Modular Typestate Checking for Concurrent Java Programs
Assuming that other refs are reachable from other threads… We must assume concurrent modification! // ERROR 4 – Using Mutual Exclusion void shareWithNewThread ...
Publish on 12th January 2016 Category: All 1
0
Embed
Share
Upload
Modular Typestate Checking for Concurrent Java Programs