Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A denotational account of C11-style memory   We introduce a denotational semantic framework for shared-memory concurrent
programs in a C11-style memory model. This denotational approach is an
alternative to techniques based on "execution graphs" and axiomatizations, and
it allows for compositional reasoning. Our semantics generalizes from traces
(sequences of actions) to pomsets (partial orders of actions): instead of
traces and interleaving, we embrace "true" concurrency. We build on techniques
from our prior work that gives a denotational semantics to SPARC TSO. We add
support for C11's wider range of memory orderings, e.g., acquire-release and
relaxed, and support for local variables and various synchronization
primitives, while eliminating significant amounts of technical bookkeeping. Our
approach features two main components. We first give programs a syntax-directed
denotation in terms of sets of pomsets of memory actions. We then give a
race-detecting executional interpretation of pomsets using footprints and a
local view of state.

29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
32
The categories of this paper are: atom-ph
11
The categories of this paper are: hep-lat
3
The categories of this paper are: physics
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
34
The categories of this paper are: chem-ph