Bringing Order to the Separation Logic Jungle

@inproceedings{Cao2017BringingOT,
  title={Bringing Order to the Separation Logic Jungle},
  author={Qinxiang Cao and Santiago Cuellar and Andrew W. Appel},
  booktitle={APLAS},
  year={2017}
}
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

Citations

Publications citing this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…