这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
规约模式就是用某种形式化语言表示的设计模式。
Specification patterns are design patterns that are expressed in a formal specification language.
隐含否定的非规约性间接言语行为是表达层面上不具备否定的形式，但却具有否定内容的语言现象。
The non-conventional indirect speech act with implied negation is a linguistic phenomenon which has the negative meaning without negative structure.
应用推荐