(adj.) Code that accesses only the memory locations it is authorized to access, and only in well-defined, allowable ways. Type-safe code cannot perform an operation on an
object that is invalid for that object. The
C# and VB.NET language
compilers always produce type-safe code, which is verified to be type-safe during
JIT compilation.