Bocchino, Robert L.; Heumann, Stephen; Honarmand, Nima; Adve, Sarita V.; Adve, Vikram S.; Welc, Adam; Shpeisman, Tatiana Safe nondeterminism in a deterministic-by-default parallel language. (English) Zbl 1284.68166 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 535-548 (2011). MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68N15 Theory of programming languages 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 68M20 Performance evaluation, queueing, and scheduling in the context of computer systems 68W10 Parallel algorithms in computer science Keywords:atomic sections; atomicity; data race freedom; determinism; effect systems; effects; nondeterminism; parallel programming languages; strong isolation; transactions; transactional memory Software:Grace PDF BibTeX XML Cite \textit{R. L. Bocchino} et al., in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 535--548 (2011; Zbl 1284.68166) Full Text: DOI