Types, bytes, and separation logic.

Harvey Tuch Gerwin Klein Michael Norrish

Published in: POPL (2007)

Keyphrases

logic programming
neural network
machine learning
probabilistic logic
data sets
data mining
information retrieval
decision making
mobile robot
digital circuits