{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:04:56Z","timestamp":1725541496735},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106712"},{"type":"electronic","value":"9783642106729"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10672-9_11","type":"book-chapter","created":{"date-parts":[[2009,12,2]],"date-time":"2009-12-02T09:08:11Z","timestamp":1259744891000},"page":"128-143","source":"Crossref","is-referenced-by-count":13,"title":["Fractional Ownerships for Safe Memory Deallocation"],"prefix":"10.1007","author":[{"given":"Kohei","family":"Suenaga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naoki","family":"Kobayashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-44898-5_4","volume-title":"Static Analysis","author":"J. Boyland","year":"2003","unstructured":"Boyland, J.: Checking interference with fractional permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 55\u201372. Springer, Heidelberg (2003)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Heine, D.L., Lam, M.S.: A practical flow-sensitive and context-sensitive C and C++ memory leak detector. In: Proc. of PLDI, pp. 168\u2013181 (2003)","DOI":"10.1145\/780822.781150"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/3-540-45500-0_5","volume-title":"Theoretical Aspects of Computer Software","author":"K. Ueda","year":"2001","unstructured":"Ueda, K.: Resource-passing concurrent programming. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, pp. 95\u2013126. Springer, Heidelberg (2001)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Suenaga, K., Kobayashi, N.: Fractional ownerships for safe memory deallocation. A longer version (2009), \n                    \n                      http:\/\/www.kb.ecei.tohoku.ac.jp\/~koba\/papers\/malloc.pdf","DOI":"10.1007\/978-3-642-10672-9_11"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/978-3-540-45099-3_7","volume-title":"Static Analysis","author":"N. Dor","year":"2000","unstructured":"Dor, N., Rodeh, M., Sagiv, S.: Checking cleanness in linked lists. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol.\u00a01824, pp. 115\u2013135. Springer, Heidelberg (2000)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/11823230_26","volume-title":"Static Analysis","author":"M. Orlovich","year":"2006","unstructured":"Orlovich, M., Rugina, R.: Memory leak analysis by contradiction. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134, pp. 405\u2013424. Springer, Heidelberg (2006)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Xie, Y., Aiken, A.: Context- and path-sensitive memory leak detection. In: ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 115\u2013125 (2005)","DOI":"10.1145\/1095430.1081728"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Salcianu, A., Beebee, W.S., Rinard, M.C.: Ownership types for safe region-based memory management in real-time Java. In: Proc. of PLDI, pp. 324\u2013337 (2003)","DOI":"10.1145\/780822.781168"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/j.scico.2006.02.003","volume":"62","author":"N. Swamy","year":"2006","unstructured":"Swamy, N., Hicks, M.W., Morrisett, G., Grossman, D., Jim, T.: Safe manual memory management in Cyclone. Sci. Comput. Program.\u00a062(2), 122\u2013144 (2006)","journal-title":"Sci. Comput. Program."},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-540-70545-1_36","volume-title":"Computer Aided Verification","author":"H. Yang","year":"2008","unstructured":"Yang, H., Lee, O., Berdine, J., Calcagno, C., Cook, B., Distefano, D., O\u2019Hearn, P.W.: Scalable shape analysis for systems code. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 385\u2013398. Springer, Heidelberg (2008)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-73368-3_22","volume-title":"Computer Aided Verification","author":"J. Berdine","year":"2007","unstructured":"Berdine, J., Calcagno, C., Cook, B., Distefano, D., O\u2019Hearn, P.W., Wies, T., Yang, H.: Shape analysis for composite data structures. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 178\u2013192. Springer, Heidelberg (2007)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Terauchi, T.: Checking race freedom via linear programming. In: Proc. of PLDI, pp. 1\u201310 (2008)","DOI":"10.1145\/1379022.1375583"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Terauchi, T., Aiken, A.: A capability calculus for concurrency and determinism. ACM Trans. Prog. Lang. Syst.\u00a030(5) (2008)","DOI":"10.1145\/1387673.1387676"},{"key":"11_CR14","unstructured":"Boyland, J.: Semantics of fractional permissions with nesting. UWM EECS Technical Report CS-07-01 (2007)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10672-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T16:57:50Z","timestamp":1558285070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10672-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106712","9783642106729"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10672-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}