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