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

By analyzing the basic logic procedure of solving problems in control systems, this paper gives a general design principle of CADCSC command language.

本文分析了解决控制系统问题的基本逻辑过程，由此归纳出了控制系统CAD命令语言的一般设计原则。

youdao

The conceptually oriented design knowledge acquisition system described in this paper is a very general knowledge acquisition environment which understands basic logic and language.

本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的通用知识获取环境。

youdao