语意表征语言
semantic representation language
标志语意语言
denotational semantics language
语意表格算法
semantic tableaux algorithm
语意表示语言
semantic representation language
Ada程序语言语意接口规格
Ada semantic interface specification
奥氏语意辨别法
Osgood semantic differential
标志语意方法
denotational semantics method