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