1) semantics abstraction
语义抽象
1.
Cmad:A C memory access errors detector based on semantics abstraction
基于语义抽象的内存访问错误检测
2) abstract semantics
抽象语义
1.
With fuzzy semantics as background, a kind of abstract semantics and its continuity are introduced on the product of a family of totally ordered complete lattices with the index set equipped with certain structure on it, and it is proved that the abstract semantics is compact whenever it is continuous.
以模糊语义为背景 ,在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念 ,证明了具有这种连续性的抽象语义是紧致的 ,由此可以推出取值于 [0 ,1]的Lukasiewicz语义是紧致
3) abstract semantic graph
抽象语义图
1.
This paper initially introduces the usefulness of semantic difference in software , after that, some kinds of semantic difference measurement methods are described in detail, which are based on program slice, partition arithmetic, input-output relation or abstract semantic graph.
本论文在介绍了程序语义差异的重要性的基础上,详细描述了目前所存在的几种计算语义差异的方法,分别是:基于程序切片的方法,分割方法,输入输出依赖关系法和基于抽象语义图的方法,并且在研究这些方法的基础上比较了他们各自的优缺点。
4) abstract semantic network
抽象语义网络
5) broad abstract
广义抽象
1.
The influence of the difficulty of the target problem and the awareness of the related problems of solvers had been examined by experimental research, and there exist the broad abstract relationship between the target problem and the earlier example.
解题者对靶题与源题之间的共性意识及加工水平对解题迁移的影响已经得到了验证,其中靶题与源题之间存在着广义抽象关系。
6) abstract justice
抽象正义
1.
Marx and Engels criticized capitalist society in the abstract justice and the justice of the exploiting classes on the basis of the proletariat and the masses of people stand on the position of historical materialism to the basis of historical use of the methods and principles to human freedom as the goal,on the proletarian concept of real justice.
马克思恩格斯在批判资本主义社会的抽象正义和剥削阶级正义观的基础上,以历史唯物主义为基础,运用历史的方法与原则,以人类的自由解放为目标,阐述了无产阶级的真正正义观。
补充资料：语义
语义
semantics
yUyl语义(哭mantics)语言的各个成分的含义。在程序设计语言中，即程序的含义。程序设计语言的语义，一般在语言文本中用自然语言描述，说明用该语言编写的程序的意义，即在计算机上执行时将会做什么。常用的程序设计语言语义的形式描迩方法有:公理语义，代数语义，指称语义和操作语义(参见形式方法)。 语义分奋态语义和动态语义。静态语义指程序的编译含义，即编译程序对程序的理解，包括量的作用域法则、说明、类型匹配等。编译时无法理解、而要到运行时才能理解的含义称为动态语义。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条