{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:24:47Z","timestamp":1745987087433,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642369452"},{"type":"electronic","value":"9783642369469"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36946-9_6","type":"book-chapter","created":{"date-parts":[[2013,3,21]],"date-time":"2013-03-21T02:18:49Z","timestamp":1363832329000},"page":"109-155","source":"Crossref","is-referenced-by-count":4,"title":["Object Graphs with Ownership Domains: An Empirical Study"],"prefix":"10.1007","author":[{"given":"Radu","family":"Vanciu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marwan","family":"Abi-Antoun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Apache FtpServer 1.0.5, http:\/\/mina.apache.org\/ftpserver\/"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M.: Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure. Ph.D. thesis, Carnegie Mellon University (2010); available as Technical Report CMU-ISR-10-114","DOI":"10.1145\/1639949.1640113"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M., Aldrich, J.: Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure using Annotations. In: OOPSLA (2009)","DOI":"10.1145\/1640089.1640113"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M., Ammar, N.: A Case Study in Evaluating the Usefulness of the Run-time Structure during Coding Tasks. In: Workshop on Human Aspects of Software Engineering, HAoSE (2010)","DOI":"10.1145\/1938595.1938597"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M., Ammar, N., Hailat, Z.: Extraction of ownership object graphs from object-oriented code: an experience report. In: ACM Sigsoft Conference on the Quality of Software Architectures, QoSA (2012)","DOI":"10.1145\/2304696.2304719"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M., Ammar, N., LaToza, T.: Questions about Object Structure during Coding Activities. In: Workshop on Cooperative and Human Aspects of Software Engineering, CHASE (2010)","DOI":"10.1145\/1833310.1833321"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M., Barnes, J.M.: Analyzing Security Architectures. In: ASE, pp. 3\u201312 (2010)","DOI":"10.1145\/1858996.1859001"},{"key":"6_CR8","unstructured":"Abi-Antoun, M., Hailat, Z.: A Case Study in Extracting the Runtime Architecture of an Object-Oriented System. Tech. rep., Wayne State University (2011)"},{"key":"6_CR9","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: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 1\u201325. Springer, Heidelberg (2004)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Chambers, C., Notkin, D.: ArchJava: Connecting Software Architecture to Implementation. In: ICSE (2002)","DOI":"10.1145\/581339.581365"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Kostadinov, V., Chambers, C.: Alias Annotations for Program Understanding. In: OOPSLA (2002)","DOI":"10.1145\/582446.582448"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Ammar, N.: Evaluation of the Usefulness of Diagrams of the Run-Time Structure for Coding Activities. Master\u2019s thesis, Wayne State University (2011), http:\/\/www.cs.wayne.edu\/~mabianto\/","DOI":"10.1109\/WCRE.2012.46"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Ammar, N., Abi-Antoun, M.: Adding Ownership Domain Annotations to and Extracting Ownership Object Graphs from MiniDraw. Tech. rep., Wayne State University (2011), http:\/\/www.cs.wayne.edu\/~mabianto\/oog_data\/","DOI":"10.1145\/2304696.2304719"},{"key":"6_CR14","unstructured":"Ammar, N., Khazalah, F., Abi-Antoun, M.: A Case Study in Adding Ownership Domain Annotations. Tech. rep., Wayne State University (2010), http:\/\/www.cs.wayne.edu\/~mabianto\/oog_data\/"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Baxter, G., Frean, M., Noble, J., Rickerby, M., Smith, H., Visser, M., Melton, H., Tempero, E.: Understanding the Shape of Java Software. In: OOPSLA (2006)","DOI":"10.1145\/1167473.1167507"},{"key":"6_CR16","unstructured":"Bloch, J.: Effective Java. Addison-Wesley (2001)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership Types for Object Encapsulation. In: POPL (2003)","DOI":"10.1145\/604131.604156"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Cameron, N., Drossopoulou, S., Noble, J., Smith, M.: Multiple Ownership. In: OOPSLA (2007)","DOI":"10.1145\/1297027.1297060"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Chidamber, S.R., Kemerer, C.F.: Towards a metrics suite for object oriented design. In: OOPSLA (1991)","DOI":"10.1145\/117954.117970"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Christensen, H.B.: Flexible, Reliable Software Using Patterns and Agile Development. Chapman and Hall\/CRC (2010)","DOI":"10.1201\/9781439882726"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership Types for Flexible Alias Protection. In: OOPSLA (1998)","DOI":"10.1145\/286936.286947"},{"key":"6_CR22","unstructured":"Cunningham, D., Drossopoulou, S., Eisenbach, S.: Universe Types for Race Safety. In: VAMP, pp. 20\u201351 (2007)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Dietl, W., M\u00fcller, P.: Universes: Lightweight Ownership for JML. Journal of Object Technology 4(8) (2005)","DOI":"10.5381\/jot.2005.4.8.a1"},{"key":"6_CR24","unstructured":"DrawLets, version 2.0 (2002), http:\/\/www.rolemodelsoft.com\/drawlets\/"},{"key":"6_CR25","unstructured":"Eclipse Metrics Plugin (2010), http:\/\/metrics.sourceforge.net\/"},{"key":"6_CR26","unstructured":"H\u00e4chler, T.: Applying the Universe Type System to an Industrial Application: Case Study. Master\u2019s thesis, Department of Computer Science, Federal Institute of Technology Zurich (2005)"},{"key":"6_CR27","unstructured":"Hailat, Z., Abi-Antoun, M.: P-X Case Study: Online Appendix (2011), http:\/\/www.cs.wayne.edu\/%257Emabianto\/px\/"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Hauck, S.: Aphyds: The academic physical design skeleton. In: International Conference on Microelectronics Systems Education, pp. 8\u20139 (2003)","DOI":"10.1109\/MSE.2003.1205230"},{"key":"6_CR29","unstructured":"Intelligent Systems and Bioinformatics Laboratory, ISBL (2003), http:\/\/vortex.cs.wayne.edu\/projects.htm\/"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Jackson, D., Waingold, A.: Lightweight Extraction of Object Models from Bytecode. TSE 27(2) (2001)","DOI":"10.1109\/32.908960"},{"key":"6_CR31","unstructured":"JHotDraw, version 5.3 (1996), http:\/\/www.jhotdraw.org"},{"key":"6_CR32","unstructured":"Kenan, K.: Cryptography in the Database. Addison-Wesley (2006), accompanying code at http:\/\/kevinkenan.blogs.com\/downloads\/cryptodb_code.zip"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Koning, H., Dormann, C., van Vliet, H.: Practical Guidelines for the Readability of IT-Architecture Diagrams. In: SIGDOC (2002)","DOI":"10.1145\/584955.584969"},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"P. Lam","year":"2003","unstructured":"Lam, P., Rinard, M.: A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, Springer, Heidelberg (2003)"},{"key":"6_CR35","unstructured":"MiniDraw, http:\/\/www.baerbak.com\/src\/frs-src.zip"},{"key":"6_CR36","unstructured":"M\u00fcller, 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":"6_CR37","doi-asserted-by":"crossref","unstructured":"Murphy, G., Notkin, D., Sullivan, K.J.: Software Reflexion Models: Bridging the Gap between Design and Implementation. TSE 27(4) (2001)","DOI":"10.1109\/32.917525"},{"key":"6_CR38","unstructured":"N\u00e4geli, S.: Ownership in Design Patterns. Master\u2019s thesis, Department of Computer Science, Federal Institute of Technology Zurich (2006)"},{"key":"6_CR39","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"J. Noble","year":"1998","unstructured":"Noble, J., Vitek, J., Potter, J.: Flexible Alias Protection. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, Springer, Heidelberg (1998)"},{"key":"6_CR40","unstructured":"O\u2019Callahan, R.W.: Generalized Aliasing as a Basis for Program Analysis Tools. Ph.D. thesis, Carnegie Mellon University (2001)"},{"key":"6_CR41","unstructured":"Poole, D., Macworth, A.: CISpace: Tools for learning Computational Intelligence (2001), http:\/\/www.cs.ubc.ca\/labs\/lci\/CIspace\/"},{"key":"6_CR42","doi-asserted-by":"crossref","unstructured":"Potanin, A., Noble, J., Biddle, R.: Checking Ownership and Confinement. Concurrency and Computation: Practice and Experience 16(7) (April 2004)","DOI":"10.1002\/cpe.799"},{"key":"6_CR43","doi-asserted-by":"crossref","unstructured":"Potanin, A., Noble, J., Clarke, D., Biddle, R.: Generic Ownership for Generic Java. In: OOPSLA (2006)","DOI":"10.1145\/1167473.1167500"},{"key":"6_CR44","doi-asserted-by":"crossref","unstructured":"Potanin, A., Noble, J., Frean, M., Biddle, R.: Scale-Free Geometry in OO Programs. Commun. ACM 48(5) (2005)","DOI":"10.1145\/1060710.1060716"},{"key":"6_CR45","unstructured":"Riehle, D.: Framework Design: a Role Modeling Approach. Ph.D. thesis, Federal Institute of Technology Zurich (2000)"},{"key":"6_CR46","unstructured":"Spiegel, A.: Automatic Distribution of Object-Oriented Programs. Ph.D. thesis, FU Berlin (2002)"},{"key":"6_CR47","unstructured":"Storey, M.A.D., M\u00fcller, H.A., Wong, K.: Manipulating and Documenting Software Structures. In: Eades, P., Zhang, K. (eds.) Software Visualization (1998)"},{"key":"6_CR48","doi-asserted-by":"crossref","unstructured":"Valverde, S., Ferrer-Cancho, R., Sole, R.V.: Scale-free networks from optimal design. Europhysics Letters 60(4) (2002)","DOI":"10.1209\/epl\/i2002-00248-2"},{"key":"6_CR49","unstructured":"Vanciu, R., Abi-Antoun, M.: Adding Ownership Domain Annotations and Extracting OOGs from Apache FTP Server. Tech. rep., Wayne State University (2011), http:\/\/www.cs.wayne.edu\/~mabianto\/oog_data\/"},{"key":"6_CR50","unstructured":"Waingold, A.: Automatic Extraction of Abstract Object Models. Master\u2019s thesis, Department of Electrical Engineering and Computer Science, MIT (2001)"},{"key":"6_CR51","unstructured":"Waingold, A., Lee, R.: SuperWomble Manual (2002), http:\/\/sdg.lcs.mit.edu\/womble\/"}],"container-title":["Lecture Notes in Computer Science","Aliasing in Object-Oriented Programming. Types, Analysis and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36946-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T01:15:48Z","timestamp":1745975748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36946-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642369452","9783642369469"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36946-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}