Common Java Bugs and Programmer Errors

  • John Hunt
Part of the Practitioner Series book series (PRACT.SER.)


As with any language there are common errors (or bugs) which programmers make. In some cases these are picked up by the compiler, but there are still many which slip through the net. It is always useful for someone learning Java (or indeed for those who have more experience but wish to check their own programming style) to become familiar with the types of mistake that can be made. It is also useful to know what problems exist in the language itself. This chapter deals with these issues.


Runtime Error Proof Check Programmer Error Integer Type Public Class 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Cohen, R.M.(1997). The Defensive Java Virtual Machine Specification (Version 0.5). Computational Logic, Inc, Austin TX. Google Scholar
  2. Drossopoulou, S. and Eisenbach. S. (1997). Java is type safe - probably. 11th European Conference on Object Oriented Programming. June 1997.
  3. Drossopoulou, S. and Eisenbach, S. (1998). Towards an Operations Semantics and Proof of Type Soundness for Java.
  4. Drossopoulou, S., Eisenbach, S. and Khurshid, S. (1997). Is the Java Type System Sound?
  5. Perera, R. and Bertelsen, P. (1997). The Unofficial Java Bug Report. June,
  6. Qian, Z. (1997). A Formal Specification of Java Virtual Machine Instructions.
  7. Saraswat, V. (1997). Java is not Type-Safe.
  8. Syme, D. (1997). Proving Java Type Soundness.

Copyright information

© Springer-Verlag London Limited 1999

Authors and Affiliations

  • John Hunt
    • 1
    • 2
  1. 1.Department of Computer ScienceUniversity of WalesAberystwyth, Dyfed, WalesUK
  2. 2.JayDee TechnologyChippenhamUK

Personalised recommendations