formal semantics of programming languages
编程语言的形式语义
以上为机器翻译结果，长、整句建议使用 人工翻译 。
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
应用推荐
模块上移
模块下移
不移动