C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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