| English | Russian |
| not verifiable type-safe managed code | неверифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в соответствии с type safety contract (условиями безопасности типов), для которого нельзя гарантировать проверку корректности в ходе выполнения. Безопасность такого кода может контролироваться другими средствами, не связанными напрямую с исполнительной системой ssn) |
| not verifiable type-safe unmanaged code | неверифицируемый неуправляемый код, безопасный по отношению к типам (любой неуправляемый код (напр., код из динамически подключаемых библиотек), созданный с максимальным учетом требований безопасности по отношению к типам, но для которого невозможно контролировать соблюдение этих требований в процессе исполнения ssn) |
| safe and secure code | безопасный и защищённый код (Alex_Odeychuk) |
| safe-critical code | безопасный код (код, выполняющий различные проверки на предмет безопасности Alex_Odeychuk) |
| thread safe code | код, ориентированный на многопотоковое исполнение (ssn) |
| thread-safe code | потокобезопасный код (англ. термин взят из кн.: Juneau J. Java 9 Recipes: A Problem-Solution Approach Alex_Odeychuk) |
| thread safe code | безопасный в отношении потоков код (блок кода, который могут выполнять несколько потоков одновременно. Функция считается безопасной в отношении потоков только в том случае, если она возвращает верные результаты тогда, когда её одновременно вызывает несколько потоков ssn) |
| type-safe code | код, безопасный по отношению к типам (код, совершающий над типами и экземплярами типов только разрешенные операции ssn) |
| type-safe code | типобезопасный код (Alex_Odeychuk) |
| type-safe managed code | управляемый код, безопасный по отношению к типам (ssn) |
| type-safe unmanaged code | неуправляемый код, безопасный по отношению к типам (ssn) |
| verifiable type-safe managed code | верифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в строгом соответствии с условиями кода, безопасного по отношению к типам, для которого можно гарантировать проверку соблюдения этих условий в ходе выполнения ssn) |