{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:57Z","timestamp":1725562617805},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221593"},{"type":"electronic","value":"9783540248514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24851-4_1","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:36:03Z","timestamp":1281299763000},"page":"1-25","source":"Crossref","is-referenced-by-count":76,"title":["Ownership Domains: Separating Aliasing Policy from Mechanism"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Aldrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Craig","family":"Chambers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Aldrich, J.: Using Types to Enforce Architectural Structure. PhD thesis, University of Washington (August 2003)","key":"1_CR1"},{"doi-asserted-by":"crossref","unstructured":"Aldrich, J., Chambers, C.: Ownership Domains: Separating Aliasing Policy from Mechanism. Carnegie Mellon Technical Report CMU-ISRI-04-110 (April 2004), available at http:\/\/www.cs.cmu.edu\/~aldrich\/papers\/","key":"1_CR2","DOI":"10.1007\/978-3-540-24851-4_1"},{"doi-asserted-by":"crossref","unstructured":"Aldrich, J., Chambers, C., Notkin, D.: Architectural Reasoning with ArchJava. In: European Conference on Object-Oriented Programming (June 2002)","key":"1_CR3","DOI":"10.1007\/3-540-47993-7_15"},{"doi-asserted-by":"crossref","unstructured":"Aldrich, J., Kostadinov, V., Chambers, C.: Alias Annotations for Program Understanding. In: Object-Oriented Programming Systems, Languages, and Applications (November 2002)","key":"1_CR4","DOI":"10.1145\/582419.582448"},{"doi-asserted-by":"crossref","unstructured":"Almeida, P.S.: Balloon Types: Controlling Sharing of State in Data Types. In: European Conference on Object-Oriented Programming (June 1997)","key":"1_CR5","DOI":"10.1007\/BFb0053373"},{"doi-asserted-by":"crossref","unstructured":"Banerjee, A., Naumann, D.A.: Representation Independence, Confinement, and Access Control. In: Principles of Programming Languages (January 2002)","key":"1_CR6","DOI":"10.1145\/503272.503289"},{"unstructured":"Bokowski, B., Vitek, J.: Confined Types. In: Object-Oriented Programming Systems, Languages, and Applications (November 1999)","key":"1_CR7"},{"doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership Types for Safe Programming: Preventing Data Races and Deadlocks. In: Object-Oriented Programming Systems, Languages, and Applications (November 2002)","key":"1_CR8","DOI":"10.1145\/582419.582440"},{"doi-asserted-by":"crossref","unstructured":"Boyapati, C., Salcianu, A., William Beebee, J., Rinard, M.: Ownership Types for Safe Region-Based Memory Mangement in Real-Time Java. In: Programming Language Design and Implementation (June 2003)","key":"1_CR9","DOI":"10.1145\/781131.781168"},{"unstructured":"Clarke, D.: Object Ownership & Containment. PhD thesis, University of New South Wales (July 2001)","key":"1_CR10"},{"doi-asserted-by":"crossref","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, Encapsulation, and the Disjointness of Type and Effect. In: Object-Oriented Programming Systems, Languages, and Applications (November 2002)","key":"1_CR11","DOI":"10.1145\/582419.582447"},{"doi-asserted-by":"crossref","unstructured":"Clarke, D., Wrigstad, T.: External Uniqueness is Unique Enough. In: European Conference on Object-Oriented Programming (July 2003)","key":"1_CR12","DOI":"10.1007\/978-3-540-45070-2_9"},{"doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership Types for Flexible Alias Protection. In: Object-Oriented Programming Systems, Languages, and Applications (October 1998)","key":"1_CR13","DOI":"10.1145\/286936.286947"},{"key":"1_CR14","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software.","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)"},{"doi-asserted-by":"crossref","unstructured":"Garlan, D., Shaw, M.: An Introduction to Software Architecture. In: Ambriola, V., Tortora, G. (eds.) Advances in Software Engineering and Knowledge Engineering, I (1993)","key":"1_CR15","DOI":"10.1142\/9789812798039_0001"},{"doi-asserted-by":"crossref","unstructured":"Greenhouse, A., Boyland, J.: An Object-Oriented Effects System. In: European Conference on Object-Oriented Programming (June 1999)","key":"1_CR16","DOI":"10.1007\/3-540-48743-3_10"},{"doi-asserted-by":"crossref","unstructured":"Hogg, J.: Islands: Aliasing Protection in Object-Oriented Languages. In: Object- Oriented Programming Systems, Languages, and Applications (October 1991)","key":"1_CR17","DOI":"10.1145\/117954.117975"},{"doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherwieght Java: a Minimal Core Calculus for Java and GJ. In: Object-Oriented Programming Systems, Languages, and Applications (November 1999)","key":"1_CR18","DOI":"10.1145\/320384.320395"},{"doi-asserted-by":"crossref","unstructured":"Lam, P., Rinard, M.: A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. In: European Conference on Object-Oriented Programming (July 2003)","key":"1_CR19","DOI":"10.1007\/978-3-540-45070-2_13"},{"doi-asserted-by":"crossref","unstructured":"Leino, K.R.M., Poetzsch-Heffter, A., Zhou, Y.: Using Data Groups to Specify and Check Side Effects. In: Programming Language Design and Implementation (June 2002)","key":"1_CR20","DOI":"10.1145\/512529.512559"},{"unstructured":"Muller, P., Poetzsch-Heffter, A.: Universes: A Type System for Controlling Representation Exposure. In: Poetzsch-Heffter, A., Meyer, J. (eds.) Programming Languages and Fundamentals of Programming (1999)","key":"1_CR21"},{"unstructured":"Noble, J., Biddle, R., Tempero, E., Potanin, A., Clarke, D.: Towards a Model of Encapsulation. In: Intercontinental Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (July 2003)","key":"1_CR22"},{"doi-asserted-by":"crossref","unstructured":"Noble, J., Vitek, J., Potter, J.: Flexible Alias Protection. In: European Conference on Object-Oriented Programming (1998)","key":"1_CR23","DOI":"10.1007\/BFb0054091"},{"unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Featherweight Generic Confinement. In: Foundations of Object-Oriented Languages (January 2004)","key":"1_CR24"},{"doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Separation Logic: a Logic for Shared Mutable Data Structures. In: Logic in Computer Science (July 2002)","key":"1_CR25","DOI":"10.1109\/LICS.2002.1029817"},{"doi-asserted-by":"crossref","unstructured":"Sullivan, K., Notkin, D.: Reconciling Environment Integration and Software Evolution. Transactions on Software Engineering and Methodology\u00a01(3) (July 1992)","key":"1_CR26","DOI":"10.1145\/131736.131744"},{"doi-asserted-by":"crossref","unstructured":"Walker, D., Morrisett, G.: Alias Types for Recursive Data Structures. In: International Workshop on Types in Compilation (September 2000)","key":"1_CR27","DOI":"10.1007\/3-540-45332-6_7"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2004 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24851-4_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:57:45Z","timestamp":1605761865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24851-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221593","9783540248514"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24851-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}