{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:10:41Z","timestamp":1725563441790},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781848829114"},{"type":"electronic","value":"9781848829121"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-84882-912-1_9","type":"book-chapter","created":{"date-parts":[[2010,8,20]],"date-time":"2010-08-20T12:27:13Z","timestamp":1282307233000},"page":"189-211","source":"Crossref","is-referenced-by-count":7,"title":["Avoid a Void: The Eradication of Null Dereferencing"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Meyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Kogtenkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Stapf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,7,21]]},"reference":[{"key":"9_CR1","volume-title":"The Spec# Programming System; CASSIS 2004, Lecture Notes in Computer Science 3362","author":"M Barnett","year":"2004","unstructured":"Barnett, M., Leino, R., Schulte, W.: The Spec# Programming System; CASSIS 2004, Lecture Notes in Computer Science 3362, Springer, Heidelberg (2004)."},{"key":"9_CR2","unstructured":"Chambers, C. et al.: Papers on the Self language at research.sun.com\/self\/papers\/papers.html."},{"key":"9_CR3","unstructured":"Eiffel community: Void safety migration guide, at dev.eiffel.com\/Void-Safe_Library_Status."},{"issue":"11","key":"9_CR4","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1145\/949343.949332","volume":"38","author":"M F\u00e4hndrich","year":"2003","unstructured":"F\u00e4hndrich, M., Leino, R.: Declaring and Checking Non-null Types in an Object-Oriented Language; in OOPSLA 2003, SIGPLAN Notices, vol. 38, no. 11, pp. 302\u2013312. ACM, New York (November 2003).","journal-title":"SIGPLAN Notices"},{"key":"9_CR5","volume-title":"Eiffel Analysis, Design and Programming Language, 2nd edition","author":"ECMA Technical Group TG49-TG4 (Eiffel) of ECMA Technical Committee 49 (Programming Languages): Standard ECMA-367 and ISO\/IEC 25436:2006","year":"2006","unstructured":"ECMA Technical Group TG49-TG4 (Eiffel) of ECMA Technical Committee 49 (Programming Languages): Standard ECMA-367 and ISO\/IEC 25436:2006, Eiffel Analysis, Design and Programming Language, 2nd edition. ECMA International and International Standards Organization, Geneva (June 2006)."},{"key":"9_CR6","first-page":"9","volume-title":"Null References: The Billion Dollar Mistake, abstract of talk at QCon London","author":"CAR Hoare","year":"2009","unstructured":"Hoare, C.A.R.: Null References: The Billion Dollar Mistake, abstract of talk at QCon London, 9\u201312 March 2009, at qconlondon.com\/london-2009\/presentation\/Null + References: + The + Billion + Dollar + Mistake."},{"key":"9_CR7","first-page":"1","volume-title":"Lecture Notes in Computer Science 4171","author":"CAR Hoare","year":"2008","unstructured":"Hoare, C.A.R., Misra, J.: In: Meyer, B., Woodcock, J. (eds.) Verified Software: Theories, Tools, Experiments, Vision of a Grand Challenge Project, pp. 1\u201318. VSTTE 2005. Lecture Notes in Computer Science 4171. Springer, Heidelberg (2008)."},{"key":"9_CR8","volume-title":"Object-Oriented Software Construction","author":"B Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Upper Saddle River, NJ (1997).","edition":"2"},{"key":"9_CR9","first-page":"229","volume-title":"Principles of Language Design and Evolution, in Millenial Perspectives in Computer Science (Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare)","author":"B Meyer","year":"2000","unstructured":"Meyer, B.: In: Davies, J., Roscoe, B., Woodcock, J. (eds.) Principles of Language Design and Evolution, in Millenial Perspectives in Computer Science (Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare), pp. 229\u2013246. Cornerstones of Computing. Palgrave, Basingstoke-New York (2000)."},{"key":"9_CR10","first-page":"1","volume-title":"Attached Types and Their Application to Three Open Problems of Object-Oriented Programming","author":"B Meyer","year":"2005","unstructured":"Meyer, B.: In: Black, A. (ed.) Attached Types and Their Application to Three Open Problems of Object-Oriented Programming, pp. 1\u201332. In ECOOP 2005 (Proceedings of European Conference on Object-Oriented Programming, Edinburgh, 25\u201329 July 2005). Lecture Notes in Computer Science 3586. Springer, Heidelberg (2005)."},{"key":"9_CR11","unstructured":"SCOOP concurrency mechanism, see references at se.ethz.ch\/research\/scoop."}],"container-title":["Reflections on the Work of C.A.R. Hoare"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84882-912-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T04:04:17Z","timestamp":1558843457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84882-912-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9781848829114","9781848829121"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-84882-912-1_9","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}