| Java enforces compiler-time type checking and eliminates this way some error prone constructs of C/C++. |
| Pointer arithmetic is fully eliminated which allows e.g. for runtime checking of array subscripts and enforces security of the Java model. |
| Explicit declarations are always required, i.e. C-style implicit declarations are abandoned. This allows the Java complier for early error detection. |
| Rapid prototyping in Java is less natural than in Lisp, Tcl, Smalltalk or Perl, but the software quality assurance of Java is higher than in these more dynamic and 'forgiving' languages. |