{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T19:49:37Z","timestamp":1648583377080},"reference-count":22,"publisher":"Institution of Engineering and Technology (IET)","issue":"2-3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw."],"published-print":{"date-parts":[[1998]]},"DOI":"10.1049\/ip-sen:19987282","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T11:09:42Z","timestamp":1027681782000},"page":"41","source":"Crossref","is-referenced-by-count":0,"title":["Java's reliability: An analysis of software defects in Java"],"prefix":"10.1049","volume":"145","author":[{"given":"J.","family":"Hunt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Long","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:19987282_r1","first-page":"1","author":"Taft","year":"1996","journal-title":"Proceedings of Ada Europe '96"},{"key":"10.1049\/ip-sen:19987282_r2","unstructured":"Programming Research Ltd.\u2018QAC: Deep flow static analyser: Users guide\u2019, 1996 http:\/\/www.prqa.co.uk"},{"key":"10.1049\/ip-sen:19987282_r3","unstructured":"van der Linden, P.: \u2018Just JAVA\u2019, (SunSoft Press, A Prentice Hall Title 1996)"},{"key":"10.1049\/ip-sen:19987282_r4","unstructured":"McGraw, G., and Felten, E.W.: \u2018Java security: Hostile applets, holes and antidotes\u2019, (John Wiley and Sons Inc. 1997)"},{"key":"10.1049\/ip-sen:19987282_r5","first-page":"319","author":"Drossopoulou","year":"1997","journal-title":"11th European conference on"},{"key":"10.1049\/ip-sen:19987282_r6","unstructured":"Drossopoulou, S., Eisenbach, S. and Khurshid: \u2018Is the Java type system sound?\u2019, http:\/\/www-ala.doc.ic.ac.uk\/papers\/S.Drossopoulou\/JavaSoundJour.ps"},{"key":"10.1049\/ip-sen:19987282_r7","unstructured":"Drossopoulou, S. and Eisenbach, S.: \u2018Towards an operations semantics and proof of type soundness for Java\u2019, April 1998, http:\/\/www-dse.doc.ic.ac.uk\/~dpw\/papers\/towards.ps"},{"key":"10.1049\/ip-sen:19987282_r8","unstructured":"Syme, D.: \u2018Proving Java type soundness\u2019, http:\/\/www.cl.cam.ac.uk\/users\/drs1004\/reports\/java.ps"},{"key":"10.1049\/ip-sen:19987282_r9","doi-asserted-by":"crossref","unstructured":"\u2018The unofficial Java bug report\u2019, June 1997 http:\/\/www2.vo.lu\/homepage\/gmid\/java.htm","DOI":"10.1016\/S1353-4858(97)83033-4"},{"key":"10.1049\/ip-sen:19987282_r10","unstructured":"Saraswat, V.: \u2018Java is not type-safe\u2019, August 1997, http:\/\/www.research.att.com\/~vj\/bug.html"},{"key":"10.1049\/ip-sen:19987282_r11","unstructured":"Cohen, R.M.: \u2018The defensive Java virtual machine specification (Version 0.5)\u2019, (Computational Logic, Inc. Austin Texas 1997)"},{"key":"10.1049\/ip-sen:19987282_r12","unstructured":"Qian, Z.: \u2018A formal specification of Java virtual machine instructions\u2019, November 1997, http:\/\/informatik.uni-bremen.de\/~qian\/abs-fsjvm.html#end"},{"key":"10.1049\/ip-sen:19987282_r13","unstructured":"Gosling, J., Joy, B., and Steele, G.: \u2018The Java language specification\u2019, (Addison-Wesley 1996)"},{"key":"10.1049\/ip-sen:19987282_r14","unstructured":"The unofficial Java bug report, http:\/\/www2.vo.lu\/homepages\/gmid\/"},{"key":"10.1049\/ip-sen:19987282_r15","unstructured":"\u2018Ada 95 Reference Manual\u2019, January 1995 ANSI\/ISO\/IEC-8652: 1995, http:\/\/www.adahome.com\/rm95\/"},{"key":"10.1049\/ip-sen:19987282_r16","unstructured":"Barnes, J.G.P.: \u2018Programming in Ada 95\u2019, (Addison-Wesley 1998),Second edn."},{"key":"10.1049\/ip-sen:19987282_r17","first-page":"168","volume":"17","author":"Barnes","year":"1996"},{"key":"10.1049\/ip-sen:19987282_r18","unstructured":"\u2018Ada, C, C++, and Java vs. the steelman\u2019, Institute for Defense Analyses Alexandria VA USA, 1996 http:\/\/www.adahome.com\/History\/Steelman\/steeltab.htm"},{"key":"10.1049\/ip-sen:19987282_r19","unstructured":"\u2018Department of defense requirements for high order computer programming languages: \"Steelman\"\u2019, U.S. Department of Defense, June 1978 http:\/\/www.adahome.com\/History\/Steelman\/into.htm"},{"key":"10.1049\/ip-sen:19987282_r20","unstructured":"Goldberg, A., and Robson, D.: \u2018Smalltalk-80: The language and its implementation\u2019, (Addison-Wesley Reading MA 1983)"},{"key":"10.1049\/ip-sen:19987282_r21","unstructured":"Hatton, L.: \u2018Safer C: developing software for high-integrity and safety-critical systems\u2019, (McGraw-Hill 1995),0077076400"},{"key":"10.1049\/ip-sen:19987282_r22","unstructured":"Koenig, A.: \u2018C traps and pit falls\u2019, (Addison-Wesley 1989)"}],"container-title":["IEE Proceedings - Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19987282?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T03:16:32Z","timestamp":1609470992000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19987282"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":22,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1998]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:19987282","relation":{},"ISSN":["1462-5970"],"issn-type":[{"value":"1462-5970","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}