| English | Russian |
| not verifiable type-safe managed code | неверифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в соответствии с type safety contract (условиями безопасности типов), для которого нельзя гарантировать проверку корректности в ходе выполнения. Безопасность такого кода может контролироваться другими средствами, не связанными напрямую с исполнительной системой ssn) |
| not verifiable type-safe unmanaged code | неверифицируемый неуправляемый код, безопасный по отношению к типам (любой неуправляемый код (напр., код из динамически подключаемых библиотек), созданный с максимальным учетом требований безопасности по отношению к типам, но для которого невозможно контролировать соблюдение этих требований в процессе исполнения ssn) |
| type-safe code | типобезопасный код (Alex_Odeychuk) |
| type-safe code | код, безопасный по отношению к типам (код, совершающий над типами и экземплярами типов только разрешенные операции ssn) |
| type-safe managed code | управляемый код, безопасный по отношению к типам (ssn) |
| type-safe unmanaged code | неуправляемый код, безопасный по отношению к типам (ssn) |
| verifiable type-safe managed code | верифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в строгом соответствии с условиями кода, безопасного по отношению к типам, для которого можно гарантировать проверку соблюдения этих условий в ходе выполнения ssn) |
