Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Linearizability with Ownership Transfer   Linearizability is a commonly accepted notion of correctness for libraries of
concurrent algorithms. Unfortunately, it assumes a complete isolation between a
library and its client, with interactions limited to passing values of a given
data type. This is inappropriate for common programming languages, where
libraries and their clients can communicate via the heap, transferring the
ownership of data structures, and can even run in a shared address space
without any memory protection. In this paper, we present the first definition
of linearizability that lifts this limitation and establish an Abstraction
Theorem: while proving a property of a client of a concurrent library, we can
soundly replace the library by its abstract implementation related to the
original one by our generalisation of linearizability. This allows abstracting
from the details of the library implementation while reasoning about the
client. We also prove that linearizability with ownership transfer can be
derived from the classical one if the library does not access some of data
structures transferred to it by the client.

31
The categories of this paper are: ao-sci
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
7
The categories of this paper are: hep-th
2
The categories of this paper are: math