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
{"_id":"HrEdfbsmGnFme4y9P","bibbaseid":"parkinson-bierman-separationlogicandabstraction-2005","authorIDs":[],"author_short":["Parkinson, M. J.","Bierman, G. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["M.","J."],"propositions":[],"lastnames":["Parkinson"],"suffixes":[]},{"firstnames":["G.","M."],"propositions":[],"lastnames":["Bierman"],"suffixes":[]}],"bibsource":"DBLP, http://dblp.uni-trier.de","booktitle":"POPL","crossref":"DBLP:conf/popl/2005","pages":"247-258","title":"Separation logic and abstraction","year":"2005","bibtex":"@inproceedings{DBLP:conf/popl/ParkinsonB05,\n\tAuthor = {M. J. Parkinson and G. M. Bierman},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {POPL},\n\tCrossref = {DBLP:conf/popl/2005},\n\tPages = {247-258},\n\tTitle = {Separation logic and abstraction},\n\tYear = {2005}}\n\n","author_short":["Parkinson, M. J.","Bierman, G. M."],"key":"DBLP:conf/popl/ParkinsonB05","id":"DBLP:conf/popl/ParkinsonB05","bibbaseid":"parkinson-bierman-separationlogicandabstraction-2005","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.544Z","downloads":0,"keywords":[],"search_terms":["separation","logic","abstraction","parkinson","bierman"],"title":"Separation logic and abstraction","year":2005,"dataSources":["7Z8XEkSJX2s636QcA"]}