Sciweavers

1499 search results - page 17 / 300
» Chopping Concurrent Programs
Sort
View
ESOP
2007
Springer
14 years 1 months ago
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
ESOP
2008
Springer
13 years 9 months ago
Oracle Semantics for Concurrent Separation Logic
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...
ICSE
2012
IEEE-ACM
11 years 10 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang