Leaf: Modularity for Temporary Sharing in Separation Logic

Date

October, 2023

Authors

• Travis Hance
• Jon Howell
• Oded Padon
• Bryan Parno

Type

Article

Journal

Proc. ACM Program. Lang.