@inproceedings{DBLP:conf/tldi/KrishnaswamiABSB09,
	Author = {N. R. Krishnaswami and J. Aldrich and L. Birkedal and K. Svendsen and A. Buisse},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {TLDI},
	Crossref = {DBLP:conf/tldi/2009},
	Ee = {http://doi.acm.org/10.1145/1481861.1481874},
	Pages = {105-116},
	Title = {Design patterns in separation logic},
	Year = {2009}}

{"_id":"4iQcBaGjRqthFHa2w","bibbaseid":"krishnaswami-aldrich-birkedal-svendsen-buisse-designpatternsinseparationlogic-2009","authorIDs":[],"author_short":["Krishnaswami, N. R.","Aldrich, J.","Birkedal, L.","Svendsen, K.","Buisse, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["N.","R."],"propositions":[],"lastnames":["Krishnaswami"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Aldrich"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Birkedal"],"suffixes":[]},{"firstnames":["K."],"propositions":[],"lastnames":["Svendsen"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Buisse"],"suffixes":[]}],"bibsource":"DBLP, http://dblp.uni-trier.de","booktitle":"TLDI","crossref":"DBLP:conf/tldi/2009","ee":"http://doi.acm.org/10.1145/1481861.1481874","pages":"105-116","title":"Design patterns in separation logic","year":"2009","bibtex":"@inproceedings{DBLP:conf/tldi/KrishnaswamiABSB09,\n\tAuthor = {N. R. Krishnaswami and J. Aldrich and L. Birkedal and K. Svendsen and A. Buisse},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {TLDI},\n\tCrossref = {DBLP:conf/tldi/2009},\n\tEe = {http://doi.acm.org/10.1145/1481861.1481874},\n\tPages = {105-116},\n\tTitle = {Design patterns in separation logic},\n\tYear = {2009}}\n\n","author_short":["Krishnaswami, N. R.","Aldrich, J.","Birkedal, L.","Svendsen, K.","Buisse, A."],"key":"DBLP:conf/tldi/KrishnaswamiABSB09","id":"DBLP:conf/tldi/KrishnaswamiABSB09","bibbaseid":"krishnaswami-aldrich-birkedal-svendsen-buisse-designpatternsinseparationlogic-2009","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/1481861.1481874"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.612Z","downloads":0,"keywords":[],"search_terms":["design","patterns","separation","logic","krishnaswami","aldrich","birkedal","svendsen","buisse"],"title":"Design patterns in separation logic","year":2009,"dataSources":["7Z8XEkSJX2s636QcA"]}