go top

type system

  • 类型系统

网络释义

  类型系统

...软件安全;语言设计;类型系统;Hoare逻辑;指针逻辑 [gap=1224]Key words: software safety; language design; type systems; Hoare logic; pointer logic ...

基于14个网页-相关网页

短语

First-order Type Systems 一阶类型系统

Second-order Type Systems 二阶类型系统

Type Systems for Programming Languages 典型程序语言系统 ; 程序语言系统

blade-type systems 叶栅系统

neutral type systems 中立型系统

volterra type systems volterra型系统

 更多收起网络短语

双语例句原声例句权威例句

  • Type systems are domain-specific and application-specific.

    类型系统特定于领域特定于应用程序。

    youdao

  • BI-ICS provides the ability to declare that business information is conformant with type systems and processes.

    BI - ICS提供声明业务信息类型系统过程一致的能力

    youdao

  • BI-ICS is extensible for extended support of alternate type systems, process mechanisms, and conformance models.

    BI - ICS对于交替类型系统处理机制以及一致性模型扩展支持扩展的。

    youdao

更多双语例句
  • We did it for silly purposes just to see how big each data type was, but on most systems the size of a char is what?

    只是为了很傻的目的,来看看每个数据类型多大,但是在大多数的系统中char的大小是多少呢?

    哈佛公开课 - 计算机科学课程节选

更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定