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

First Page		Document Content
Date: 2015-11-04 16:38:45 Model theory Logic in computer science Separation logic Substructural logic Structure Elementary class Substitution		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 Source URL: flint.cs.yale.edu Download Document from Source Website File Size: 373,21 KB Share Document on Facebook