A Fresh Look at Separation Algebras and Share Accounting. Dockins, R., Hobor, A., & Appel, A. W. In Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, pages 161–177, 2009. bibtex @inproceedings{DBLP:conf/aplas/DockinsHA09,
Author = {Robert Dockins and Aquinas Hobor and Andrew W. Appel},
Booktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009, Seoul, Korea, December 14-16, 2009. Proceedings},
Pages = {161--177},
Title = {A Fresh Look at Separation Algebras and Share Accounting.},
Year = {2009}}
Downloads: 0
{"_id":"uYKbQEceYoRCZcfK4","bibbaseid":"dockins-hobor-appel-afreshlookatseparationalgebrasandshareaccounting-2009","authorIDs":[],"author_short":["Dockins, R.","Hobor, A.","Appel, A. W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Robert"],"propositions":[],"lastnames":["Dockins"],"suffixes":[]},{"firstnames":["Aquinas"],"propositions":[],"lastnames":["Hobor"],"suffixes":[]},{"firstnames":["Andrew","W."],"propositions":[],"lastnames":["Appel"],"suffixes":[]}],"booktitle":"Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings","pages":"161–177","title":"A Fresh Look at Separation Algebras and Share Accounting.","year":"2009","bibtex":"@inproceedings{DBLP:conf/aplas/DockinsHA09,\n\tAuthor = {Robert Dockins and Aquinas Hobor and Andrew W. Appel},\n\tBooktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009, Seoul, Korea, December 14-16, 2009. Proceedings},\n\tPages = {161--177},\n\tTitle = {A Fresh Look at Separation Algebras and Share Accounting.},\n\tYear = {2009}}\n\n","author_short":["Dockins, R.","Hobor, A.","Appel, A. W."],"key":"DBLP:conf/aplas/DockinsHA09","id":"DBLP:conf/aplas/DockinsHA09","bibbaseid":"dockins-hobor-appel-afreshlookatseparationalgebrasandshareaccounting-2009","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.621Z","downloads":0,"keywords":[],"search_terms":["fresh","look","separation","algebras","share","accounting","dockins","hobor","appel"],"title":"A Fresh Look at Separation Algebras and Share Accounting.","year":2009,"dataSources":["7Z8XEkSJX2s636QcA"]}