From 4ea7563c46a07dbe1cb84547a60e9398144917ae Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 16 Nov 2022 23:17:45 -0400
Subject: Added generic logging abstraction/machinery.

---
 documentation/bookmark/analysis/static/separation_logic.md | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 documentation/bookmark/analysis/static/separation_logic.md

(limited to 'documentation/bookmark/analysis/static')

diff --git a/documentation/bookmark/analysis/static/separation_logic.md b/documentation/bookmark/analysis/static/separation_logic.md
new file mode 100644
index 000000000..9541dc47a
--- /dev/null
+++ b/documentation/bookmark/analysis/static/separation_logic.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [A Primer on Separation Logic (and Automatic Program Verification and Analysis)](http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/Marktoberdorf11LectureNotes.pdf)
+
-- 
cgit v1.2.3