1) declarative language
说明型语言
3) language of temporal or-(dering) specification
时序说明语言
4) Z specification language
Z规格说明语言
5) Property specification language
属性说明语言
1.
Property specification language is a machine executable property specification language,which is a kind of property specification language of standard hardware design with easy readwrite,concise syntax,clearlydefined formal semantics,powerful expression a.
然而属性说明语言是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的硬件设计属性说明语言。
2.
This paper deals with machine executable property specification language,which is a kind of property specification language of standard hardware design with easy readwrite,concise syntax,clearlydefined formal semantics,powerful expression ability.
本文介绍的属性说明语言(PSL)是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的标准硬件设计属性说明语言。
6) Declarative query language
说明式查询语言
补充资料：BASIC语言(见程序设计语言)
BASIC语言(见程序设计语言)
BASIC
吕AS{CBASICyLJy〔1下〕语言(BASIC)见程序设计语言。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条