Design patterns in separation logic. Krishnaswami, N. R., Aldrich, J., Birkedal, L., Svendsen, K., & Buisse, A. In TLDI, pages 105-116, 2009.
Design patterns in separation logic [link]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