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