Leaf: Modularity for Temporary Sharing in Separation Logic.

Travis Hance Jon Howell Oded Padon Bryan Parno

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

logic programming
information sharing
modal logic
data sharing
multi valued
knowledge sharing
community detection
genetic algorithm
data structure
automated reasoning
classical logic
tree leaves
sound and complete axiomatization