Login / Signup
A separation logic for refining concurrent objects.
Aaron Joseph Turon
Mitchell Wand
Published in:
POPL (2011)
Keyphrases
</>
d objects
data sets
spatial relations
object model
complex scenes
object level
real world objects
neural network
digital libraries
moving objects
image features
logic programming
data objects
multiple objects
spatial objects