Microsoft .NET Framework, ASP.NET, Visual C# (CSharp, C Sharp, C-Sharp) Developer Training, Visual Studio
| Term
| Type safety
|
| Definition
| A feature of strongly typed languages like Visual C# and the Java language. Type-safe code accesses memory only in authorized, well-defined, and permissible ways. Type-safe code cannot perform operations that would be invalid for a specific object. The Microsoft Visual C# and VB.NET language compilers produce type-safe code; and, type safety is verified during JIT-compilation. Also, the PEVerify tool can be used to verify code type safety.
|
| See also
|
|
| You may edit this definition to improve or extend it.
|
