Login / Signup
A Step-indexed Semantics of Imperative Objects
Catalin Hritcu
Jan Schwinghammer
Published in:
Log. Methods Comput. Sci. (2009)
Keyphrases
</>
d objects
neural network
keypoints
formal semantics
database
semantic information
multiple objects
individual objects
moving objects
logic programming
data objects
spatial relationships
object segmentation
target object
object level
object identity