@inproceedings{07173a6f03bc4205a5a31779dc13a208,
title = "An Algebraic Theory for Shared-State Concurrency",
abstract = "We present a monadic denotational semantics for a higher-order programming language with shared-state concurrency, i.e. global-state in the presence of interleaving concurrency. Central to our approach is the use of Plotkin and Power{\textquoteright}s algebraic effect methodology: designing an equational theory that captures the intended semantics, and proving a monadic representation theorem for it. We use Hyland et al.{\textquoteright}s equational theory of resumptions that extends non-deterministic global-state with an operator for yielding to the environment. The representation is based on Brookes-style traces. Based on this representation we define a denotational semantics that is directionally adequate with respect to a standard operational semantics. We use this semantics to justify compiler transformations of interest: redundant access eliminations, each following from a mundane algebraic calculation; while structural transformations follow from reasoning over the monad{\textquoteright}s interface.",
keywords = "Compiler optimisations, Compiler transformations, Concurrency, Denotational semantics, Equational theory, Monads, Program equivalence, Program refinement, Shared state",
author = "Yotam Dvir and Ohad Kammar and Ori Lahav",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 20th Asian Symposium on Programming Languages and Systems, APLAS 2022 ; Conference date: 05-12-2022 Through 05-12-2022",
year = "2022",
doi = "10.1007/978-3-031-21037-2_1",
language = "الإنجليزيّة",
isbn = "9783031210365",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "3--24",
editor = "Ilya Sergey",
booktitle = "Programming Languages and Systems - 20th Asian Symposium, APLAS 2022, Proceedings",
address = "ألمانيا",
}