Reasoning about Object Capabilities with Logical Relations and Effect Parametricity.

Dominique Devriese Lars Birkedal Frank Piessens

Published in: EuroS&P (2016)

Keyphrases

object types
digital objects
spatial reasoning
knowledge base
data sets
viewpoint
d objects
data objects
logical structure