Separation logic and abstraction. Parkinson, M. J. & Bierman, G. M. In POPL, pages 247-258, 2005.
bibtex   
@inproceedings{DBLP:conf/popl/ParkinsonB05,
	Author = {M. J. Parkinson and G. M. Bierman},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {POPL},
	Crossref = {DBLP:conf/popl/2005},
	Pages = {247-258},
	Title = {Separation logic and abstraction},
	Year = {2005}}

Downloads: 0