- Separation Logic for Sequential Programs (Functional Pearl) Arthur Charguéraud Tue 04 August 2020
- BI as an assertion language for mutable data structures Samin S. Ishtiaq Peter W. O'Hearn Wed 30 January 2013
- Undecidability of Propositional Separation Logic and Its Neighbours James Brotherston Max Kanovich Wed 30 January 2013
- Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds Tue 25 September 2012
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
