Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects.

Hagit Attiya Constantin Enea

Published in: CoRR (2019)

Keyphrases

context sensitive
d objects
contextual information
context aware
spatial context
database
real time
e learning
clustering algorithm
image retrieval
complex scenes
digital objects
real world objects
object oriented languages