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