Step-Indexed Kripke Model of Separation Logic for Storable Locks.

Alexandre Buisse Lars Birkedal Kristian Støvring

Published in: MFPS (2011)

Keyphrases

mathematical model
prior knowledge
management system
statistical model
social networks
probabilistic model
hierarchical structure
neural network
multi agent systems
cost function
knowledge representation
least squares
computational model
neural network model