A Case for Behavior-Preserving Actions in Separation Logic David Costanzo and Zhong Shao Yale University Abstract. Separation Logic is a widely-used tool that allows for local - Substructural logic - Document - PDFSEARCH.IO

First Page	Meta Content
	A Case for Behavior-Preserving Actions in Separation Logic David Costanzo and Zhong Shao Yale University Abstract. Separation Logic is a widely-used tool that allows for local Add to Reading List Document Date: 2015-11-04 16:38:45 Open Document File Size: 373,21 KB Share Result on Facebook

A Case for Behavior-Preserving Actions in Separation Logic David Costanzo and Zhong Shao Yale University Abstract. Separation Logic is a widely-used tool that allows for localAdd to Reading List