Scenario-Based Proofs for Concurrent Objects.

Constantin Enea Eric Koskinen

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

moving objects
object model
data sets
individual objects
d objects
concurrent execution
database
digital objects
theorem proving
multiple objects
spatial relationships
data objects
single image
data structure
database systems
computer vision
social networks
databases