Design patterns in separation logic. Krishnaswami, N. R., Aldrich, J., Birkedal, L., Svendsen, K., & Buisse, A. In TLDI, pages 105-116, 2009.
Link bibtex @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}}
Downloads: 0
{"_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"]}