Accuracy of static analysis depends on the representation of program's abstractsemantics.
静态分析的精确度取决于对程序抽象语义的表达。
2
Requires no knowledge of UML semantics (abstract syntax).
不需要了解uml语义(抽象语法)。
3
A key selling point for MapReduce is its ability to abstract the operational parallelization semantics - how parallel programming works - away from the developer.