Separation Logic: A Logic for Shared Mutable Data Structures. Reynolds, J. In LICS, pages 55-74, 2002.
doi  bibtex   
@inproceedings{Reynolds02separationlogic,
	Author = {J.C. Reynolds},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = LICS,
	Crossref = {DBLP:conf/lics/2002},
	Doi = {10.1109/LICS.2002.1029817},
	Pages = {55-74},
	Title = {Separation Logic: A Logic for Shared Mutable Data Structures},
	Year = {2002},
	Bdsk-Url-1 = {https://doi.org/10.1109/LICS.2002.1029817}}

Downloads: 0