An Introduction to Separation Logic Download Tags: HCSS 2009 Carnegie Mellon University Presentation Academia HCSS '09 License: CC-2.5 Submitted by Timothy Thimmesch on Fri, 07/01/2011 - 07:42