A Formal C Memory Model for Separation Logic.

Robbert Krebbers

Published in: J. Autom. Reason. (2016)

Keyphrases

formal model
computational model
information systems
similarity measure
management system
statistical model
machine learning
information retrieval
parameter estimation
mathematical model
video sequences
probabilistic model
formal representation