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