Non-concurrency Analysis


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


7 Figures and Tables


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} }