Temporary Read-Only Permissions for Separation Logic.

Arthur Charguéraud François Pottier

Published in: ESOP (2017)

Keyphrases

logic programming
modal logic
access control
classical logic
epistemic logic
neural network
probabilistic logic
databases
information systems
automated reasoning
active rules
sound source
defeasible logic
digital circuits
asynchronous circuits