{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T21:40:10Z","timestamp":1743630010888,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642310560"},{"type":"electronic","value":"9783642310577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31057-7_10","type":"book-chapter","created":{"date-parts":[[2012,6,28]],"date-time":"2012-06-28T11:17:41Z","timestamp":1340882261000},"page":"207-231","source":"Crossref","is-referenced-by-count":7,"title":["Object Initialization in X10"],"prefix":"10.1007","author":[{"given":"Yoav","family":"Zibin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Cunningham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Peshansky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay","family":"Saraswat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/1640089.1640097","volume-title":"OOPSLA 2009","author":"R.L. Bocchino Jr.","year":"2009","unstructured":"Bocchino Jr., R.L., Adve, V.S., Dig, D., Adve, S.V., Heumann, S., Komuravelli, R., Overbey, J., Simmons, P., Sung, H., Vakilian, M.: A type and effect system for deterministic parallel java. In: OOPSLA 2009, pp. 97\u2013116. ACM, New York (2009)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Dean, D., Felten, E., Wallach, D.S.: Java security: From hotjava to netscape and beyond. In: IEEE Symposium on Security and Privacy, pp. 190\u2013200 (1996)","DOI":"10.1109\/SECPRI.1996.502681"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Leino, K.R.M.: Declaring and checking non-null types in an object-oriented language. In: OOPSLA 2003, pp. 302\u2013312 (2003)","DOI":"10.1145\/949343.949332"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Xia, S.: Establishing object invariants with delayed types. In: OOPSLA 2007, pp. 337\u2013350 (2007)","DOI":"10.1145\/1297105.1297052"},{"key":"10_CR5","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)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/978-3-642-03013-0_23","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"J.Y. Gil","year":"2009","unstructured":"Gil, J.Y., Shragai, T.: Are We Ready for a Safer Construction Environment? In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 495\u2013519. Springer, Heidelberg (2009)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-642-15497-3_7","volume-title":"Computer Security \u2013 ESORICS 2010","author":"L. Hubert","year":"2010","unstructured":"Hubert, L., Jensen, T., Monfort, V., Pichardie, D.: Enforcing Secure Object Initialization in Java. In: Gritzalis, D., Preneel, B., Theoharidou, M. (eds.) ESORICS 2010. LNCS, vol.\u00a06345, pp. 101\u2013115. Springer, Heidelberg (2010)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Matsakis, N.D., Gross, T.R.: A time-aware type system for data-race protection and guaranteed initialization. In: OOPSLA 2010, pp. 634\u2013651 (2010)","DOI":"10.1145\/1932682.1869511"},{"key":"10_CR9","unstructured":"Pugh, W.: JSR 133: Java memory model and thread specification revision (2004), http:\/\/jcp.org\/en\/jsr\/detail?id=133"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Qi, X., Myers, A.C.: Masked types for sound object initialization. In: POPL 2009, pp. 53\u201365 (2009)","DOI":"10.1145\/1594834.1480890"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"1663","DOI":"10.1093\/ietisy\/e90-d.10.1663","volume":"E90-D","author":"S. Seo","year":"2007","unstructured":"Seo, S., Kim, Y., Kang, H.-G., Han, T.: A static bug detector for uninitialized field references in java programs. IEICE - Trans. Inf. Syst.\u00a0E90-D, 1663\u20131671 (2007)","journal-title":"IEICE - Trans. Inf. Syst."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Summers, A.J., M\u00fcller, P.: Freedom before commitment - a lightweight type system for object initialisation. In: OOPSLA 2011 (2011)","DOI":"10.1145\/2048066.2048142"},{"key":"10_CR13","first-page":"307","volume-title":"OOPSLA 2011","author":"X. Yang","year":"2011","unstructured":"Yang, X., Blackburn, S.M., Frampton, D., Sartor, J.B., McKinley, K.S.: Why nothing matters: the impact of zeroing. In: OOPSLA 2011, pp. 307\u2013324. ACM, New York (2011)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Zibin, Y., Potanin, A., Li, P., Ali, M., Ernst, M.D.: Ownership and immutability in generic java. In: OOPSLA 2010, pp. 598\u2013617 (2010)","DOI":"10.1145\/1932682.1869509"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2012 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31057-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T21:19:29Z","timestamp":1743628769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31057-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642310560","9783642310577"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31057-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}