...软件安全;语言设计;类型系统;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.
类型系统特定于领域和特定于应用程序。
BI-ICS provides the ability to declare that business information is conformant with type systems and processes.
BI - ICS提供了声明业务信息与类型系统和过程相一致的能力。
BI-ICS is extensible for extended support of alternate type systems, process mechanisms, and conformance models.
BI - ICS对于交替类型系统、处理机制以及一致性模型的扩展支持是可扩展的。
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的大小是多少呢?
应用推荐