{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T07:18:07Z","timestamp":1773731887135,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540688624","type":"print"},{"value":"9783540688631","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68863-1_9","type":"book-chapter","created":{"date-parts":[[2008,6,2]],"date-time":"2008-06-02T07:20:45Z","timestamp":1212391245000},"page":"132-149","source":"Crossref","is-referenced-by-count":25,"title":["Semantic Foundations and Inference of Non-null Annotations"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Hubert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Jensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pichardie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.tcs.2005.06.004","volume":"342","author":"D. Cachera","year":"2005","unstructured":"Cachera, D., Jensen, T.P., Pichardie, D., Rusu, V.: Extracting a data flow analyser in constructive logic. Theoretical Computer Science\u00a0342(1), 56\u201378 (2005)","journal-title":"Theoretical Computer Science"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-540-73589-2_12","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"P. Chalin","year":"2007","unstructured":"Chalin, P., James, P.R.: Non-null references by default in Java: Alleviating the nullity annotation burden. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 227\u2013247. Springer, Heidelberg (2007)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Cielecki, M., Fulara, J., Jakubczyk, K., Jancewicz, \u0141.: Propagation of JML non-null annotations in Java programs. In: Proc. of the 4th international symposium on Principles and practice of programming in Java (PPPJ 2006), pp. 135\u2013140. ACM Press, New York (2006)","DOI":"10.1145\/1168054.1168073"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/512529.512538","volume-title":"Proc. of the Conference on Programming language design and implementation (PLDI 2002)","author":"M. Das","year":"2002","unstructured":"Das, M., Lerner, S., Seigle, M.: Esp: path-sensitive program verification in polynomial time. In: Proc. of the Conference on Programming language design and implementation (PLDI 2002), pp. 57\u201368. ACM Press, New York (2002)"},{"key":"9_CR5","unstructured":"Ekman, T., Hedin, G.: Pluggable non-null types for Java (ch. V). In: Ekman, T. (ed.) Extensible Compiler Construction, June 2006, Lund University (2006)"},{"key":"9_CR6","first-page":"302","volume-title":"Proc. of Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2003)","author":"M. F\u00e4hndrich","year":"2003","unstructured":"F\u00e4hndrich, M., Leino, K.R.M.: Declaring and checking non-null types in an object-oriented language. In: Proc. of Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2003), pp. 302\u2013312. Springer, Heidelberg (2003)"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/1297027.1297052","volume-title":"OOPSLA 2007: Proc. of the 22nd conference on Object Oriented Programming Systems and Applications","author":"M. F\u00e4hndrich","year":"2007","unstructured":"F\u00e4hndrich, M., Xia, S.: Establishing object invariants with delayed types. In: OOPSLA 2007: Proc. of the 22nd conference on Object Oriented Programming Systems and Applications, pp. 337\u2013350. ACM, New York (2007)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/3-540-45251-6_29","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"C. Flanagan","year":"2001","unstructured":"Flanagan, C., Leino, K.R.M.: Houdini, an annotation assistant for ESC\/Java. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol.\u00a02021, pp. 500\u2013517. Springer, Heidelberg (2001)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/320384.320397","volume-title":"Proc. of the 14th conference on Object-oriented programming, systems, languages, and applications (OOPSLA 1999)","author":"S.N. Freund","year":"1999","unstructured":"Freund, S.N., Mitchell, J.C.: A formal framework for the java bytecode language and verifier. In: Proc. of the 14th conference on Object-oriented programming, systems, languages, and applications (OOPSLA 1999), pp. 147\u2013166. ACM Press, New York (1999)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/1251535.1251537","volume-title":"PASTE 2007: Proc. of the 7th workshop on Program analysis for software tools and engineering","author":"D. Hovemeyer","year":"2007","unstructured":"Hovemeyer, D., Pugh, W.: Finding more null pointer bugs, but not too many. In: PASTE 2007: Proc. of the 7th workshop on Program analysis for software tools and engineering, pp. 9\u201314. ACM Press, New York (2007)"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1108768.1108798","volume":"31","author":"D. Hovemeyer","year":"2006","unstructured":"Hovemeyer, D., Spacco, J., Pugh, W.: Evaluating and tuning a static analysis to find null pointer bugs. SIGSOFT Softw. Eng. Notes\u00a031(1), 13\u201319 (2006)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Hubert, L., Jensen, T., Pichardie, D.: Semantic foundations and inference of non-null annotations. Research Report 6482, INRIA (March 2008)","DOI":"10.1007\/978-3-540-68863-1_9"},{"issue":"11","key":"9_CR13","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/356989.357002","volume":"35","author":"M. Kawahito","year":"2000","unstructured":"Kawahito, M., Komatsu, H., Nakatani, T.: Effective null pointer check elimination utilizing hardware trap. SIGPLAN Not.\u00a035(11), 139\u2013149 (2000)","journal-title":"SIGPLAN Not."},{"key":"9_CR14","unstructured":"Leino, K.R.M., Saxe, J.B., Stata, R.: ESC\/Java user\u2019s manual. Compaq Systems Research Center, technical note 2000-002 edition (October 2000)"},{"key":"9_CR15","volume-title":"Proc. of the Conference on Compiler Construction (CC 2008)","author":"C. Male","year":"2008","unstructured":"Male, C., Pearce, D.J., Potanin, A., Dymnikov, C.: Java bytecode verification for @NonNull types. In: Proc. of the Conference on Compiler Construction (CC 2008), Springer, Heidelberg (2008)"},{"key":"9_CR16","unstructured":"Vall\u00e9e-Rai, R., Co, P., Gagnon, E., Hendren, L., Lam, P., Sundaresan, V.: Soot \u2014\u00a0a Java bytecode optimization framework. In: CASCON 1999: Proc. of the 1999 conference of the Centre for Advanced Studies on Collaborative research, p. 13. IBM Press (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68863-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T20:46:33Z","timestamp":1557607593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68863-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540688624","9783540688631"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68863-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}