Correctness of a Concurrent Object Collector for Actor Languages.

Juliana Franco Sylvan Clebsch Sophia Drossopoulou Jan Vitek Tobias Wrigstad

Published in: ESOP (2018)

Keyphrases

object model
d objects
expressive power
database
moving objects
language independent
concurrent execution
object level
target object
object segmentation
object tracking
image regions
multiple objects
keypoints
viewpoint
digital objects
relational databases
deformable objects
three dimensional