Login / Signup
Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version).
Travis Hance
Jon Howell
Oded Padon
Bryan Parno
Published in:
CoRR (2023)
Keyphrases
</>
information sharing
asynchronous circuits
modal logic
database
social networks
logic programming
knowledge sharing
data sharing
predicate logic
sound and complete axiomatization
derivation rules
proof theory
computational properties
classical logic
share information
information retrieval
neural network