Non-concurrency Analysis

Abstract

Non-concurrency analysis is a set of techniques for statically identifying pairs (or sets) of statements in a concurrent program which can never happen together. This information aids programmers in debugging and manually optimizing programs, improves the precision of data flow analysis, enables optimized translation of rendezvous, facilitates dead code… (More)
DOI: 10.1145/155332.155346

Topics

7 Figures and Tables

Statistics

051015'96'99'02'05'08'11'14'17
Citations per Year

113 Citations

Semantic Scholar estimates that this publication has 113 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Masticola1993NonconcurrencyA, title={Non-concurrency Analysis}, author={Stephen P. Masticola and Barbara G. Ryder}, booktitle={PPOPP}, year={1993} }