Common Java Bugs and Programmer Errors
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.
KeywordsRuntime Error Proof Check Programmer Error Integer Type Public Class
Unable to display preview. Download preview PDF.
- Cohen, R.M.(1997). The Defensive Java Virtual Machine Specification (Version 0.5). Computational Logic, Inc, Austin TX. Google Scholar
- Drossopoulou, S. and Eisenbach. S. (1997). Java is type safe - probably. 11th European Conference on Object Oriented Programming. June 1997.http://src.doc.ic.ac.uk/public/ic.doc/ALA/papers/S.Drossopoulou/JavaSoundEcoop.ps.
- Drossopoulou, S. and Eisenbach, S. (1998). Towards an Operations Semantics and Proof of Type Soundness for Java.http://www-dse.doc.ic.ac.uk/~dpw/papers/towards.ps/.
- Drossopoulou, S., Eisenbach, S. and Khurshid, S. (1997). Is the Java Type System Sound?http://www-ala.doc.ic.ac.uk/papers/S.Drossopoulou/JavaSoundJour.ps/.
- Perera, R. and Bertelsen, P. (1997). The Unofficial Java Bug Report. June,http://www2.vo.lu/homepage/gmid/java.htm.
- Qian, Z. (1997). A Formal Specification of Java Virtual Machine Instructions.http://informatik.uni-bremen.de/~qian/abs-fsjvm.html#end.
- Saraswat, V. (1997). Java is not Type-Safe. http://www.research.att.com/~vj/bug.html.
- SLURP Group: http://outoften.doc.ic.ac.uk/projects/slurp/.
- Syme, D. (1997). Proving Java Type Soundness. http://www.cl.cam.ac.uk/users/drs1004/reports/java.ps.