?程序语义学

所谓程序语义学(procedural semantics)是一种研究理解的认知语义学理论,它根据一套程序来决定术语是否适用于事物或者决定命题的真值。

[计]?过程语义

... interpretive semantics [计] 解释语义... procedural semantics 过程语义 semantics of synchronization 同步语义学 ...

?这种所谓程序式语义

...据所代表含义的解释（即语义），目前信息系统是以硬编码的 方式写入到了应用系统中，这种所谓程序式语义（procedural semantics）的信息语义 建模方法，分离了信息的语义和语法描述，将对信息的理解固化到了特定的代码逻辑 中，这些程序式语义有很大的局限，既...

?程序性语意

... 程序语意 procedural semantic 程序性语意 procedural semantics 程序测试 procedural testing ...