1) semantics resolution
语义学的分解
3) semantics decomposition
语义分解
4) interpretative semantics
解释语义学
5) semantic
[英][sɪ'mæntɪk] [美][sə'mæntɪk]
语义的，语义学的
6) calculus semantics
积分语义学
1.
Calculus similar degree and pseudometric in calculus semantics;
积分语义学中的积分相似度与伪距离
补充资料：语义
语义
semantics
yUyl语义(哭mantics)语言的各个成分的含义。在程序设计语言中，即程序的含义。程序设计语言的语义，一般在语言文本中用自然语言描述，说明用该语言编写的程序的意义，即在计算机上执行时将会做什么。常用的程序设计语言语义的形式描迩方法有:公理语义，代数语义，指称语义和操作语义(参见形式方法)。 语义分奋态语义和动态语义。静态语义指程序的编译含义，即编译程序对程序的理解，包括量的作用域法则、说明、类型匹配等。编译时无法理解、而要到运行时才能理解的含义称为动态语义。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条