Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting.

Thi Mai Thuong Tran, Martin Steffen, Hoang Truong

Browse the full SEFM paper archive.