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

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