 |
| |||
| верифицируемый управляемый код, безопасный по отношению к типам (управляемый код, созданный в строгом соответствии с условиями кода, безопасного по отношению к типам, для которого можно гарантировать проверку соблюдения этих условий в ходе выполнения ssn) | |||
| verifiable type- safe managed code: 2 phrases in 1 subject |
| Programming | 2 |