Bringing Order to the Separation Logic Jungle

  title={Bringing Order to the Separation Logic Jungle},
  author={Qinxiang Cao and Santiago Cuellar and Andrew W. Appel},
Research results from so-called “classical” separation logics are not easily ported to so-called “intuitionistic” separation logics, and vice versa. Basic questions like, “Can the frame rule be proved independently of whether the programming language is garbage-collected?” “Can amortized resource analysis be ported from one separation logic to another?” should be straightforward. But they are not. Proofs done in a particular separation logic are difficult to generalize. We argue that this… CONTINUE READING
2 Citations
41 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…