...软件安全;语言设计;类型系统;Hoare逻辑;指针逻辑 [gap=1224]Key words: software safety; language design; type systems; Hoare logic; pointer logic ...
基于14个网页-相关网页
First-order Type Systems 一阶类型系统
Second-order Type Systems 二阶类型系统
blade-type systems 叶栅系统
neutral type systems 中立型系统
volterra type systems volterra型系统
parabolic type systems 抛物型系统
Data (type systems and message formats).
数据(类型系统和消息格式)。
BI-ICS provides the ability to declare that business information is conformant with type systems and processes.
BI - ICS提供了声明业务信息与类型系统和过程相一致的能力。
The open SCA specifications currently support the following interface type systems for describing SCA interfaces.
open SCA规范目前支持使用以下接口类型系统来描述SCA接口。
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的大小是多少呢?
应用推荐