Automatic Inference of Symbolic Permissions for Sequential Java Programs

Ayesha Sadiq, Yuan-Fang Li, Li Li +2

In mainstream programming languages such as Java, a common way to enable concurrency is to manually introduce explicit concurrency constructs such as multi-threading. In multi-thre…