… that, while intuitively atomic, are not reducible. In this paper, we exploit the notion of pure
code blocks to verify the atomicity of such irreducible procedures. If a pure block terminates …

… exploit the notion of pure code blocks to verify the atomicity of such irreducible procedures. If
a pure … We develop a static analysis for atomicity based on this insight, and we illustrate this …

… exploit the notion of pure code blocks to verify the atomicity of such irreducible procedures. If
a pure … We develop a static analysis for atomicity based on this insight, and we illustrate this …

… pure block has done a write. – We show that a single Petri net can compute both purity- and
atomicity… far checks causal atomicity, but contains no way to check for or exploit purity in the …

… We give conditions on the graph that imply conflict-atomicity and view-atomicity. … their
atomicity type system to verify abstract atomicity of programs by analyzing purity [7]. We …

… check causal atomicity using Petri net tools based on unfoldings, which exploit the …
extensions of atomicity defined in the literature (for example, purity [9]), in the causal setting. …

… In contrast, AVIOS is a pure software approach which is more … Recently several studies have
exploited hardware support for … Like previous techniques, AVIO also exploits hardware to re…

… atomic actions. We propose a novel, iterative proof style in which alternating use of abstraction
and reduction is exploited to compute larger atomic … purity and allows us to deduce pure …

… of no purity inference tool that scales to large codes and analyzes both whole programs
and libraries. We build a purity … • Atomicity: Flanagan et al. exploit purity for reasoning about …

… et al.’s work on atomicity types [3, 4] and purity [2] in order to … Atomicity used to optimize
model checking can be regarded as a partial-order reduction [14], ie, a method for exploiting …