Relaxed separation logic: a program logic for C11 concurrency.

Viktor Vafeiadis Chinmay Narayan

Published in: OOPSLA (2013)

Keyphrases

bayesian networks
modal logic
predicate logic
logic programming
automated reasoning
multi valued
computational properties
defeasible logic
neural network
machine learning
classical logic
asynchronous circuits
declarative semantics