Permission-Based Separation Logic for Multithreaded Java Programs
Published in Logical Methods in Computer Science • Feb 27, 2015
Authors:,,
Christian Haack
Marieke Huisman
Clément Hurlin
Abstract
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 based on concurrent separation logic. It is the first detailed adaptation of concurrent separation logic to a multithreade...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!