... pixel 象素 pointer for safety 安全指针 poller 轮询者 ...
基于50个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
In terms of the authors sketch of design and verification of safety programs, a pointer logic system is designed for a subset of C-like language.
文中根据作者所设想的安全程序的设计和证明框架，为类c语言的一个子集设计了一个指针逻辑系统。
youdao
应用推荐
模块上移
模块下移
不移动