Login / Signup
SACO: Static Analyzer for Concurrent Objects.
Elvira Albert
Puri Arenas
Antonio Flores-Montoya
Samir Genaim
Miguel Gómez-Zamalloa
Enrique Martin-Martin
German Puebla
Guillermo Román-Díez
Published in:
TACAS (2014)
Keyphrases
</>
d objects
object model
moving objects
data objects
object segmentation
spatial relationships
attribute values
multi view
individual objects
multi object
complex scenes
data sets
database systems
three dimensional
social networks
machine learning
databases