%0 Book Section %1 conf/esop/BattyMNPS15 %A Batty, Mark %A Memarian, Kayvan %A Nienhuis, Kyndylan %A Pichon-Pharabod, Jean %A Sewell, Peter %B Programming Languages and Systems %D 2015 %E Vitek, Jan %I Springer Berlin Heidelberg %K Concurrency LowLevel MemoryModel Semantics %P 283-307 %R 10.1007/978-3-662-46669-8_12 %T The Problem of Programming Language Concurrency Semantics %U http://dx.doi.org/10.1007/978-3-662-46669-8_12 %V 9032 %X Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language that aims to support concurrent systems code. The Java Memory Model has been shown to be unsound with respect to standard compiler optimisations, while the C/C++11 model is too weak, admitting undesirable thin-air executions. %@ 978-3-662-46668-1

@incollection{conf/esop/BattyMNPS15, abstract = {Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language that aims to support concurrent systems code. The Java Memory Model has been shown to be unsound with respect to standard compiler optimisations, while the C/C++11 model is too weak, admitting undesirable thin-air executions.}, added-at = {2015-05-10T22:19:48.000+0200}, author = {Batty, Mark and Memarian, Kayvan and Nienhuis, Kyndylan and Pichon-Pharabod, Jean and Sewell, Peter}, biburl = {https://www.bibsonomy.org/bibtex/287a422b9265426c3f4b1b1f9b505a55d/gron}, booktitle = {Programming Languages and Systems}, description = {The Problem of Programming Language Concurrency Semantics - Springer}, doi = {10.1007/978-3-662-46669-8_12}, editor = {Vitek, Jan}, interhash = {a6b676f010ab98e5d42c26a5f6eb3a88}, intrahash = {87a422b9265426c3f4b1b1f9b505a55d}, isbn = {978-3-662-46668-1}, keywords = {Concurrency LowLevel MemoryModel Semantics}, language = {English}, pages = {283-307}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2015-05-10T22:19:48.000+0200}, title = {The Problem of Programming Language Concurrency Semantics}, url = {http://dx.doi.org/10.1007/978-3-662-46669-8_12}, volume = 9032, year = 2015 }