2) multi paradigm
多范式语言
4) BNF of C-language
C语言的BNF范式
5) specification language
规范语言
1.
Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
2.
By specifying security protocols using Common Authentication Protocol Specification Language,then convert CAPSL specification into formal inputs for other analysis tools by connector.
提出了一种安全协议组合分析方法,即使用通用认证协议规范语言CAPSL描述安全协议,然后使用连接器,将CAPSL规范转换为其他安全协议分析工具的形式化输入,从而能够利用不同分析工具的优点,来更好地保证安全协议形式化分析的准确性,同时也方便了安全协议分析者。
6) language norm
语言规范
1.
Using what king of expression style should depend on news content and column and also should follow one basic principle that is language norm.
但都不能违背一个基本原则,即语言规范,表述清楚,并符合受众审美需求。
2.
The paper primarily discusses the problems on influential discourse and language norm.
本文主要讨论权势话语与语言规范问题。
3.
The paper points out that though these theoretical bases can somewhat explain the language norm, they are at a lower level and have some deviations and limitations.
语言规范的原则可以大别为二 ,一个是理性原则 ,一个是习性原则。
补充资料:BASIC语言(见程序设计语言)
BASIC语言(见程序设计语言)
BASIC
吕AS{CBASICyLJy〔1下〕语言(BASIC)见程序设计语言。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条