The formal semantics of programming languages can provide concise and precise language definition. It helps people not only to understand well the language, but also to standardization of language.

程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。

youdao

Note that because of SCA, your favorite programming language can easily be extended to incorporate BPEL semantics.

注意，由于 SCA，你钟爱的编程语言可以很容易地被扩展结合BPEL语义。

youdao

With the use of these rules, the efficiency of logic programming system and the semantics of logic programming language can be improved.

运用这些控制规则可以大大地提高系统的运行效率或改善逻辑程序的语义性质。

youdao