Accuracy of static analysis depends on the representation of program's abstract semantics.

静态分析的精确度取决于对程序抽象语义的表达。

youdao

Requires no knowledge of UML semantics (abstract syntax).

不需要了解uml语义(抽象语法)。

youdao

A key selling point for MapReduce is its ability to abstract the operational parallelization semantics - how parallel programming works - away from the developer.

MapReduce的关键特点是它能够对开发人员隐藏操作并行语义—并行编程的具体工作方式。

youdao