所建立的完整性信息流控制机制可通过静态类型检验高效实现。

The proposed integrity information flow mechanism can be efficiently implemented by static type checking.

youdao

所建立的完整性信息流控制机制可通过静态类型检验高效实现。

The proposed integrity information flow mechanism can be efficiently implemented by static type checking.

youdao