Follow
( Publications: 32 | Followers: 0 )

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 Category: All 1

0

Embed

Share

Upload

Modular Typestate Checking for Concurrent Java Programs