71 citations · 448 across the 43 of their papers we have counts for
Showing 2013 · cs.SEShow all
2 papers · 2 filters
cs.SE2013★ 40 cited
Flexible Invariants Through Semantic Collaboration
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia +1
Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents se…
cs.SE2013★ 4 cited
Handling Parallelism in a Concurrency Model
Mischael Schill, Sebastian Nanz, Bertrand Meyer
Programming models for concurrency are optimized for dealing with nondeterminism, for example to handle asynchronously arriving events. To shield the developer from data race error…