@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}}

{"_id":"M8yXEhpSd6pkkQDeD","bibbaseid":"reynolds-separationlogicalogicforsharedmutabledatastructures-2002","authorIDs":[],"author_short":["Reynolds, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["J.C."],"propositions":[],"lastnames":["Reynolds"],"suffixes":[]}],"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","bibtex":"@inproceedings{Reynolds02separationlogic,\n\tAuthor = {J.C. Reynolds},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = LICS,\n\tCrossref = {DBLP:conf/lics/2002},\n\tDoi = {10.1109/LICS.2002.1029817},\n\tPages = {55-74},\n\tTitle = {Separation Logic: A Logic for Shared Mutable Data Structures},\n\tYear = {2002},\n\tBdsk-Url-1 = {https://doi.org/10.1109/LICS.2002.1029817}}\n\n","author_short":["Reynolds, J."],"key":"Reynolds02separationlogic","id":"Reynolds02separationlogic","bibbaseid":"reynolds-separationlogicalogicforsharedmutabledatastructures-2002","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.560Z","downloads":0,"keywords":[],"search_terms":["separation","logic","logic","shared","mutable","data","structures","reynolds"],"title":"Separation Logic: A Logic for Shared Mutable Data Structures","year":2002,"dataSources":["7Z8XEkSJX2s636QcA"]}