A characteristic of powerfully typed languages like Visual C# and the Java language is the type safety . Type-safe programs utilizes memory only in official, well-defined, and allowable ways. Codes that are type safe will not be able to perform operations that would not be valid for a particular object. The Microsoft Visual C# and VB.NET language compilers generate type-safe programs ; and, type safety is confirmed during JIT-compilation. Also, the PEVerify tool can be used to verify code type safety.
Reply With Quote
No comments:
Post a Comment