 |
Terms for subject Programming containing type-safe managed code | all forms | in specified order only
| English | Russian |
| not verifiable type-safe managed code | неверифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в соответствии с type safety contract (условиями безопасности типов), для которого нельзя гарантировать проверку корректности в ходе выполнения. Безопасность такого кода может контролироваться другими средствами, не связанными напрямую с исполнительной системой ssn) |
| type-safe managed code | управляемый код, безопасный по отношению к типам (ssn) |
| verifiable type-safe managed code | верифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в строгом соответствии с условиями кода, безопасного по отношению к типам, для которого можно гарантировать проверку соблюдения этих условий в ходе выполнения ssn) |