Type-Safe

• Strict type safety to protect GC

• No uninitialized variables

• No unsafe casts

• Bounds checking on arrays – can’t overwrite unallocated memory

• Can check for overflow

• Reference parameters are type-safe

Previous slide

Next slide

Back to first slide

View graphic version