{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:02:10Z","timestamp":1743012130514,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642226540"},{"type":"electronic","value":"9783642226557"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22655-7_15","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T13:37:43Z","timestamp":1310996263000},"page":"306-332","source":"Crossref","is-referenced-by-count":9,"title":["Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks"],"prefix":"10.1007","author":[{"suffix":"Jr.","given":"Robert L.","family":"Bocchino","sequence":"first","affiliation":[]},{"given":"Vikram S.","family":"Adve","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"http:\/\/gee.cs.oswego.edu\/dl\/jsr166\/dist\/extra166ydocs\/index.html?extra166y\/package-tree.html"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24851-4_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: Vetta, A. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 1\u201325. Springer, Heidelberg (2004)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Altherr, P., Cremet, V.: Adding type constructor parameterization to Java. In: Formal Techniques for Java-like Programs, FTFJP (2007)","DOI":"10.5381\/jot.2008.7.5.a2"},{"key":"15_CR4","unstructured":"Barnett, M., et al.: The Spec# programming system: An overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"key":"15_CR5","unstructured":"Bocchino, R.: An Effect System and Language for Deterministic-by-Default Parallel Programming. PhD thesis, Univ. of Illinois, Urbana-Champaign, IL (2010)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Bocchino, R., et al.: A type and effect system for deterministic parallel Java. In: OOPSLA (2009)","DOI":"10.1145\/1640089.1640097"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Bocchino, R., et al.: Safe nondeterminism in a deterministic-by-default parallel language. In: POPL (2011)","DOI":"10.1145\/1926385.1926447"},{"key":"15_CR8","unstructured":"Boyland, J.: In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, Springer, Heidelberg (2003)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Cameron, N., et al.: Multiple ownership. In: OOPSLA (2007)","DOI":"10.1145\/1297027.1297060"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Cameron, N., Gairing, M., Bateni, M.: A model for Java with wildcards. In: Ryan, M. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 2\u201326. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-70592-5_2"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Charles, P., et al.: X10: An object-oriented approach to non-uniform cluster computing. In: OOPSLA (2005)","DOI":"10.1145\/1094811.1094852"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, encapsulation and the disjointness of type and effect. In: OOPSLA (2002)","DOI":"10.1145\/582419.582447"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Clarke, D., Wrigstad, T.: External uniqueness is unique enough. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 176\u2013201. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-45070-2_9"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Dinsdale-Young, T., Dodds, M., Gardner, P., Parkinson, M.J., Vafeiadis, V.: Concurrent abstract predicates. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 504\u2013528. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-14107-2_24"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Dodds, M., et al.: Modular reasoning for deterministic parallelism. In: POPL (2011)","DOI":"10.1145\/1926385.1926416"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., DeLine, R.: Adoption and focus: Practical linear types for imperative programming. In: PLDI (2002)","DOI":"10.1145\/512529.512532"},{"key":"15_CR17","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Addison-Wesley Longman, Amsterdam (2005)"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Greenhouse, A., Boyland, J.: An object-oriented effects system. In: Liu, H. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 205\u2013229. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-48743-3_10"},{"key":"15_CR19","unstructured":"Hammel, R., Gifford, D.: FX-87 performance measurements: Dataflow implementation. Technical Report MIT\/LCS\/TR-421 (1988)"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Leavens, G., et al.: Preliminary design of JML: A behavioral interface specification language for Java. SIGSOFT Softw. Eng. Notes (2006)","DOI":"10.1145\/1127878.1127884"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Leino, K., et al.: Using data groups to specify and check side effects. In: PLDI (2002)","DOI":"10.1145\/512529.512559"},{"key":"15_CR22","unstructured":"Li, P., et al.: Mojojojo \u2014 More ownership for multiple owners. In: FOOL (2010)"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Lu, Y., Potter, J.: Protecting representation with effect encapsulation. In: POPL (2006)","DOI":"10.1145\/1111037.1111069"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Lucassen, J., et al.: Polymorphic effect systems. In: POPL (1988)","DOI":"10.1145\/73560.73564"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Systematic concurrent object-oriented programming. In: CACM (1993)","DOI":"10.1145\/162685.162705"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Moors, A., et al.: Generics of a higher kind. In: OOPSLA (2008)","DOI":"10.1145\/1449764.1449798"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Potanin, A., et al.: Generic ownership for generic Java. In: OOPSLA (2006)","DOI":"10.1145\/1167473.1167500"},{"key":"15_CR28","unstructured":"Reinders, J.: Intel Threading Building Blocks: Outfitting C++ for Multi-core Processor Parallelism. O\u2019Reilly Media, Sebastopol (2007)"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Singh, J., et al.: SPLASH: Stanford parallel applications for shared-memory. Technical report, Stanford Univ. (1992)","DOI":"10.1145\/130823.130824"},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"Smith, L., Bull, J.: A multithreaded Java grande benchmark suite. In: Third Workshop on Java for High Performance Computing (2001)","DOI":"10.1145\/582034.582042"},{"key":"15_CR31","unstructured":"Smith, M.: Towards an effects system for ownership domains. ECOOP (2005)"},{"key":"15_CR32","unstructured":"Sun Microsystems, Inc. The Fortress language specification, version 1.0. Technical report, Sun Microsystems, Inc. (March 2008)"},{"key":"15_CR33","doi-asserted-by":"crossref","unstructured":"Terauchi, T., Aiken, A.: A capability calculus for concurrency and determinism. In: TOPLAS (2008)","DOI":"10.1145\/1387673.1387676"},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"Thies, W., et al.: StreamIt: A language for streaming applications. In: CC (2002)","DOI":"10.1007\/3-540-45937-5_14"},{"key":"15_CR35","unstructured":"Thomas, P., Weedon, R.: Object-Oriented Programming in Eiffel, 2nd edn. Addison-Wesley Longman, Amsterdam (1998)"},{"key":"15_CR36","doi-asserted-by":"crossref","unstructured":"Vakilian, M., et al.: Inferring method effect summaries for nested heap regions. In: ASE (2009)","DOI":"10.1109\/ASE.2009.68"},{"key":"15_CR37","unstructured":"Wadler, P.: Linear types can change the world! In: Working Conf. on Programming Concepts and Methods (1990)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2011 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22655-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T22:23:07Z","timestamp":1580336587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22655-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642226540","9783642226557"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22655-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}