{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:36:30Z","timestamp":1743068190190,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642030123"},{"type":"electronic","value":"9783642030130"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","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-03013-0_23","type":"book-chapter","created":{"date-parts":[[2009,7,30]],"date-time":"2009-07-30T10:30:01Z","timestamp":1248949801000},"page":"495-519","source":"Crossref","is-referenced-by-count":7,"title":["Are We Ready for a Safer Construction Environment?"],"prefix":"10.1007","author":[{"given":"Joseph","family":"Gil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tali","family":"Shragai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"The Java Series","volume-title":"The Java Programming Language","author":"K. Arnold","year":"1996","unstructured":"Arnold, K., Gosling, J.: The Java Programming Language. The Java Series. Addison-Wesley, Reading (1996)"},{"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: Tarr and Cook [27]","key":"23_CR2","DOI":"10.1145\/1167473.1167507"},{"doi-asserted-by":"crossref","unstructured":"Birka, A., Ernst, M.D.: A practical type system and language for reference immutability. In: Vlissides, J.M., Schmidt, D.C. (eds.) Proc. of the 19th Ann. Conf. on OO Prog. Sys., Lang., & Appl (OOPSLA 2004), Vancouver, BC, Canada, October 2004. ACM SIGPLAN Notices, vol.\u00a039 (10) (2004)","key":"23_CR3","DOI":"10.1145\/1028976.1028980"},{"key":"23_CR4","series-title":"ACM SIGPLAN Notices","first-page":"82","volume-title":"Proc. of the 14th Ann. Conf. on OO Prog. Sys., Lang., & Appl. (OOPSLA 1999)","author":"B. Bokowski","year":"1999","unstructured":"Bokowski, B., Vitek, J.: Confined types. In: Proc. of the 14th Ann. Conf. on OO Prog. Sys., Lang., & Appl (OOPSLA 1999), Denver, Colorado, November 1-5, 1999. ACM SIGPLAN Notices, vol.\u00a034 (10), pp. 82\u201396. ACM Press, New York (1999)"},{"doi-asserted-by":"crossref","unstructured":"Cabral, B., Marques, P.: Exception handling: A field study in Java and.NET. In: Ernst [11], pp. 151\u2013175","key":"23_CR5","DOI":"10.1007\/978-3-540-73589-2_8"},{"doi-asserted-by":"crossref","unstructured":"Chalin, P., James, P.R.: Non-null references by default in Java: Alleviating the nullity annotation burden. In: Ernst [11], pp. 227\u2013247","key":"23_CR6","DOI":"10.1007\/978-3-540-73589-2_12"},{"doi-asserted-by":"crossref","unstructured":"Clifton, C., Millstein, T., Leavens, G.T., Chambers, C.: MultiJava: Design rationale, compiler implementation, and applications. ACM Trans. Prog. Lang. Syst.\u00a028(3) (May 2006)","key":"23_CR7","DOI":"10.1145\/1133651.1133655"},{"key":"23_CR8","first-page":"94","volume-title":"Proc. of the 37th Int. Conf. on Technology of OO Lang. and Sys. (TOOLS 2000 Pacific)","author":"T. Cohen","year":"2000","unstructured":"Cohen, T., Gil, J.: Self-calibration of metrics of Java methods. In: Proc. of the 37th Int. Conf. on Technology of OO Lang. and Sys (TOOLS 2000 Pacific), Sydney, Australia, November 20-23, 2000, pp. 94\u2013106. Prentice-Hall, Englewood Cliffs (2000)"},{"unstructured":"Cohen, T., Gil, J.Y., Maman, I.: JTL\u2014the Java tools language. In: Tarr and Cook [27]","key":"23_CR9"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-45102-1_20","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"N. Eckel","year":"2000","unstructured":"Eckel, N., Gil, J.: Empirical study of object-layout strategies and optimization techniques. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, pp. 394\u2013421. Springer, Heidelberg (2000)"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","year":"2007","unstructured":"Ernst, E. (ed.): ECOOP 2007. LNCS, vol.\u00a04609. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Leino, K.R.M.: Declaring and checking non-null types in an object-oriented language. In: Crocker, R., Steele Jr., G.L. (eds.) Proc. of the 18th Ann. Conf. on OO Prog. Sys., Lang., & Appl (OOPSLA 2003), October 2003. ACM SIGPLAN Notices, vol.\u00a038 (11) (2003)","key":"23_CR12","DOI":"10.1145\/949343.949332"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/BFb0054109","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"J. Gil","year":"1998","unstructured":"Gil, J., Itai, A.: The complexity of type analysis of object oriented programs. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 601\u2013634. Springer, Heidelberg (1998)"},{"doi-asserted-by":"crossref","unstructured":"Gil, J., Maman, I.: Micro patterns in Java code. In: Johnson and Gabriel [17], pp. 97\u2013116","key":"23_CR14","DOI":"10.1145\/1094811.1094819"},{"key":"23_CR15","volume-title":"The C# Programming Language","author":"A. Hejlsberg","year":"2003","unstructured":"Hejlsberg, A., Wiltamuth, S., Golde, P.: The C# Programming Language, 2nd edn. Addison-Wesley, Reading (2003)","edition":"2"},{"unstructured":"ISE. ISE EIFFEL The Language Reference. ISE, Santa Barbara, CA (1997)","key":"23_CR16"},{"unstructured":"Johnson, R., Gabriel, R.P.: Proc. of the 20th Ann. Conf. on OO Prog. Sys., Lang., & Appl (OOPSLA 2005), San Diego, California. ACM SIGPLAN Notices (2005)","key":"23_CR17"},{"issue":"6","key":"23_CR18","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1002\/spe.372","volume":"31","author":"G. Kniesel","year":"2001","unstructured":"Kniesel, G., Theisen, D.: JAC access right based encapsulation for Java. Softw. Pract. Exper.\u00a031(6), 555\u2013576 (2001)","journal-title":"Softw. Pract. Exper."},{"issue":"3","key":"23_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127884","volume":"31","author":"G.T. Leavens","year":"2006","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. ACM SIGSOFT Software Engineering Notes\u00a031(3), 1\u201338 (2006)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"unstructured":"Male, C., Pearce, D.J.: Non\u2013null type inference with type aliasing for java. Technical report, Computer Science, Victoria University of Wellington, NZ (August 2007)","key":"23_CR20"},{"doi-asserted-by":"crossref","unstructured":"Melton, H., Tempero, E.: Static members and cycles in Java software. In: International Symposium on Empirical Software Engineering and Measurement, pp. 136\u2013145 (2007)","key":"23_CR21","DOI":"10.1109\/ESEM.2007.25"},{"key":"23_CR22","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"issue":"6","key":"23_CR23","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1002\/spe.368","volume":"31","author":"J. Noble","year":"2001","unstructured":"Noble, J., Lea, D.: Editorial: Aliasing in object-oriented systems. Soft. Practice & Experience\u00a031(6), 505 (2001)","journal-title":"Soft. Practice & Experience"},{"unstructured":"Odersky, M., Altherr, P., Cremet, V., Emir, B., Maneth, S., Micheloud, S., Mihaylov, N., Schinz, M., Stenman, E., Zenger, M.: An overview of the Scala programming language. Technical Report IC\/2004\/64, EPFL Lausanne, Switzerland (2004)","key":"23_CR24"},{"unstructured":"Stallman, R.M.: Using the GNU Compiler Collection (GCC): GCC Version 4.1.0. Free Software Foundation (2005)","key":"23_CR25"},{"key":"23_CR26","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"1997","unstructured":"Stroustrup, B.: The C++ Programming Language, 3rd edn. Addison-Wesley, Reading (1997)","edition":"3"},{"unstructured":"Tarr, P.L., Cook, W.R. (eds.): Proc. of the 21st Ann. Conf. on OO Prog. Sys., Lang., & Appl. (OOPSLA 2006), Portland, Oregon, October 22-26. ACM SIGPLAN Notices (2006)","key":"23_CR27"},{"unstructured":"Tschantz, M.S., Ernst, M.D.: Javari: Adding reference immutability to Java. In: Johnson and Gabriel [17]","key":"23_CR28"},{"unstructured":"Wrigstad, T.: Ownership-Based Alias Managemant12. PhD thesis, KTH, Computer and Systems Sciences (May 2006)","key":"23_CR29"},{"doi-asserted-by":"crossref","unstructured":"Zibin, Y., Potanin, A., Ali, M., Artzi, S., Kie\u017cun, A., Ernst, M.D.: Object and reference immutability using Java generics. In: ESEC\/FSE 2007: Proceedings of the 11th European Software Engineering Conference and the 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Dubrovnik, Croatia, September\u00a05\u20137 (2007)","key":"23_CR30","DOI":"10.1145\/1287624.1287637"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2009 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03013-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T15:52:22Z","timestamp":1558453942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03013-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642030123","9783642030130"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03013-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}