On Models of Higher-Order Separation Logic.

Ales Bizjak Lars Birkedal

Published in: MFPS (2018)

Keyphrases

higher order
statistical models
complex systems
conditional random fields
markov models
accurate models
machine learning algorithms
classification models
neural network
probabilistic model
high order
modal logic
low order