{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:12:00Z","timestamp":1725549120708},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642119699"},{"type":"electronic","value":"9783642119705"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11970-5_9","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T00:23:33Z","timestamp":1268007813000},"page":"145-164","source":"Crossref","is-referenced-by-count":5,"title":["Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Craik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wayne","family":"Kelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/286936.286947","volume-title":"13th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications","author":"D.G. Clarke","year":"1998","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: 13th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 48\u201364. ACM Press, New York (1998)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1145\/1297027.1297060","volume-title":"22nd annual ACM SIGPLAN conference on Object-Oriented Programming Systems and Applications","author":"N. Cameron","year":"2007","unstructured":"Cameron, N., Drossopoulou, S., Noble, J., Smith, M.: Multiple ownership. In: 22nd annual ACM SIGPLAN conference on Object-Oriented Programming Systems and Applications, pp. 441\u2013460. ACM Press, New York (2007)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/582419.582447","volume-title":"OOPSLA 2002: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"D. Clarke","year":"2002","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, encapsulation and the disjointness of type and effect. In: OOPSLA 2002: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 292\u2013310. ACM, New York (2002)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1145\/1167473.1167500","volume-title":"OOPSLA 2006: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications","author":"A. Potanin","year":"2006","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Generic ownership for generic java. In: OOPSLA 2006: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp. 311\u2013324. ACM, New York (2006)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1145\/582419.582448","volume-title":"OOPSLA 2002: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"J. Aldrich","year":"2002","unstructured":"Aldrich, J., Kostadinov, V., Chambers, C.: Alias annotations for program understanding. In: OOPSLA 2002: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 311\u2013330. ACM, New York (2002)"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/1111037.1111069","volume-title":"POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"Y. Lu","year":"2006","unstructured":"Lu, Y., Potter, J.: Protecting representation with effect encapsulation. In: POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 359\u2013371. ACM, New York (2006)"},{"unstructured":"Craik, A., Kelly, W.: Mquter parallelism research (2009), http:\/\/www.mquter.qut.edu.au\/par","key":"9_CR7"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-48743-3_10","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"A. Geenhouse","year":"1999","unstructured":"Geenhouse, A., Boyland, J.: An object-oriented effects system. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, p. 205. Springer, Heidelberg (1999)"},{"unstructured":"Sun Microsystems, Jdk 1.1.1 signing flaw (March 1997)","key":"9_CR9"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"J. Aldrich","year":"2004","unstructured":"Aldrich, J., Chambers, C.: Ownership domains: Separating aliasing policy from mechanism. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 1\u201325. Springer, Heidelberg (2004)"},{"unstructured":"Craik, A.: Ownership types for reasoning about parallelism - type system and semantics. Technical report, QUT ePrints, Queensland University of Technology (2009), http:\/\/eprints.qut.edu.au\/","key":"9_CR11"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/582419.582440","volume-title":"17th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications","author":"C. Boyapati","year":"2002","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. In: 17th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 211\u2013230. ACM Press, New York (2002)"},{"unstructured":"Cunningham, D., Drossopoulou, S., Eisenbach, S.: Universes for race safety. In: 1st International Workshop on Verification and Analysis of Multi-Threaded Java-like Programs (2007)","key":"9_CR13"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-00590-9_10","volume-title":"Programming Languages and Systems","author":"N. Cameron","year":"2009","unstructured":"Cameron, N., Drossopoulou, S.: Existential quantification for variant ownership. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 128\u2013142. Springer, Heidelberg (2009)"},{"issue":"2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1145\/42190.46167","volume":"10","author":"N. Wirth","year":"1988","unstructured":"Wirth, N.: Type extensions. ACM Trans. Program. Lang. Syst.\u00a010(2), 204\u2013214 (1988)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"9_CR16","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/115372.115297","volume":"13","author":"N.H. Cohen","year":"1991","unstructured":"Cohen, N.H.: Type-extension type test can be performed in constant time. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a013(4), 626\u2013629 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/BF01386232","volume":"2","author":"E.W. Dijkstra","year":"1960","unstructured":"Dijkstra, E.W.: Recusive programming. Numerische Mathematik\u00a02(1), 312\u2013318 (1960)","journal-title":"Numerische Mathematik"},{"unstructured":"Abi-Antoun, M., Aldrich, J.: Compile-time views of execution structure based on ownership. In: International Workshop on Aliasing, Confinement, and Ownership in Object-Oriented Programming 2007 (2007)","key":"9_CR18"},{"issue":"6","key":"9_CR19","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1145\/78973.78977","volume":"33","author":"W. Pugh","year":"1990","unstructured":"Pugh, W.: Skip lists: A probabilistic alternative to balanced trees. Communications of the ACM\u00a033(6), 668\u2013676 (1990)","journal-title":"Communications of the ACM"},{"issue":"3","key":"9_CR20","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1145\/212094.212131","volume":"27","author":"V.H. Allan","year":"1995","unstructured":"Allan, V.H., Jones, R.B., Lee, R.M., Allan, S.J.: Software pipelining. ACM Comput. Surv.\u00a027(3), 367\u2013432 (1995)","journal-title":"ACM Comput. Surv."},{"unstructured":"Microsoft Corporation, Samples for parallel programming with the .net framework 4 (May 2009)","key":"9_CR21"},{"key":"9_CR22","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1274971.1275008","volume-title":"ICS 2007: Proceedings of the 21st annual international conference on Supercomputing","author":"S. Rus","year":"2007","unstructured":"Rus, S., Pennings, M., Rauchwerger, L.: Sensitivity analysis for automatic parallelization on multi-cores. In: ICS 2007: Proceedings of the 21st annual international conference on Supercomputing, pp. 263\u2013273. ACM, New York (2007)"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-540-89740-8_7","volume-title":"Languages and Compilers for Parallel Computing","author":"M. Marron","year":"2008","unstructured":"Marron, M., Stefanovic, D., Kapur, D., Hermenegildo, M.: Identification of heap-carried data dependence via explicit store heap models. In: Amaral, J.N. (ed.) LCPC 2008. LNCS, vol.\u00a05335, pp. 94\u2013108. Springer, Heidelberg (2008)"},{"unstructured":"Saraswat, V., Nystrom, N.: Report on the experiment language x10. Technical Report 1.7.5, IBM (2009)","key":"9_CR24"},{"key":"9_CR25","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1145\/512529.512563","volume-title":"ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation","author":"D. Grossman","year":"2002","unstructured":"Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y., Cheney, J.: Region-based memory management in cyclone. In: ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, 2002, pp. 282\u2013293. ACM Press, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11970-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:46:01Z","timestamp":1606185961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11970-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119699","9783642119705"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11970-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}