Login / Signup
A Simple Model of Separation Logic for Higher-Order Store.
Lars Birkedal
Bernhard Reus
Jan Schwinghammer
Hongseok Yang
Published in:
ICALP (2) (2008)
Keyphrases
</>
higher order
theoretical framework
computational model
database
mathematical model
formal model
experimental data
theoretical analysis
lambda calculus
model based diagnosis
autoregressive
prediction model
high order
statistical model
process model
maximum likelihood
objective function
machine learning