Naik, Mayur; Aiken, Alex Conditional must not aliasing for static race detection. (English) Zbl 1295.68073 Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 327-338 (2007). Cited in 4 Documents MSC: 68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) Keywords:Java; concurrency; multi-threading; static race detection; synchronization PDF BibTeX XML Cite \textit{M. Naik} and \textit{A. Aiken}, in: Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '07, Nice, France, January 17--19, 2007. New York, NY: Association for Computing Machinery (ACM). 327--338 (2007; Zbl 1295.68073) Full Text: DOI