Type Safety

• Memory isolation is a core goal of the runtime

  • Allows multiple apps with a process

• Type safety ensures memory isolation

  • Also ensures correct operation of the security system

• Verification ensures type safety

  • Need complete type information at runtime

• Type safety not required by CLR

Previous slide

Next slide

Back to first slide

View graphic version