This leads us to the discussion of what constitutes a major or minor version change-a question that is partly determined by the application semantics.
这就提出了什么是重要和细微的版本变化—这个问题部分取决于应用程序语义。
There are many issues to be debated in determining policy for a digital era but the semantics of what constitutes a copy is not one of them.
在制定数字时代政策的过程中,有许多问题有待讨论,但有关何为拷贝的语义学不在其中。
Actions, such as reads and writes of variables, are ordered within a thread according to what is called the "program order" — the order in which the semantics of the program say they should occur.
像对变量的读写这样的操作,在线程中是根据所谓的“程序顺序”——程序的语义声明它们应当发生的顺序——排序的。
What's the point? Again, you can have things that are syntactically legal but not semantically meaningful, and static semantics is going to be a way of helping us decide what expressions, what pieces of code, actually have real meaning to it. All right?
重点是什么?重申,你可以有东西在语义结构的逻辑上有意义,但是在语义上无意义,而static语义,将是一个帮助我们,决定哪些表达,哪部分的代码实际上,有意义的途径,好么?
应用推荐