Sign in
Hoare-style specifications as correctness conditions for non-linearizable concurrent objects.
Ilya Sergey
Aleksandar Nanevski
Anindya Banerjee
Germán Andrés Delbianco
Published in:
OOPSLA (2016)
Keyphrases
</>
data objects
concurrent execution
sufficient conditions
d objects
concurrent programs
real time
bounding box
high level
information systems
moving objects
viewpoint
object recognition
image sequences
attribute values
multiple objects
complex scenes
object level
real world objects
genetic algorithm
neural network