most citedPermission-Based Separation Logic for Multithreaded Java Programs

32 citations

researchers with a paper here

1 paper

cs.LO2014★ 32 cited

Permission-Based Separation Logic for Multithreaded Java Programs

Christian Haack, Marieke Huisman, Clément Hurlin +1

This paper presents a program logic for reasoning about multithreaded Java-like programs with dynamic thread creation, thread joining and reentrant object monitors. The logic is ba…