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
{"_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"]}