网络释义专业释义
...静态语义；动态语义；形式化规约 [gap=1096]Key words：temporal description logic；UM L activity diagrams；static semantics；dynamic semantics；formal specifi— ...
基于46个网页-相关网页
... 静态语义规则 static semantic rule 静态语义学 static semantics 静态支持 static support ...
基于20个网页-相关网页
... 静态语意(static semantics) 动态语意(dynamic semantics) 解释型语意(interpretive semantics) ...
基于1个网页-相关网页
双语例句原声例句
-
Not everything is going to get caught in static semantics checking.
并不是所有的错误，都会在静态语义检查中被捕获。
-
The last piece of it is, in addition to having static semantics, we have sort of full semantics.
最后一部分是，除了static语义之外，我们还有一些full语义。
-
OK. What happens if you actually have something that's both syntactically correct, and appears to have correct static semantics, and you run it?
好，当你的代码语法，没错误，并且也有正确的静态语义，你去运行它的时候会发生什么呢？
-
So actually, the problem with static semantics is you'd like it to catch everything, you don't always get it.
因此实际上，你希望静态语义检查,能捕获所有的错误，但是经常结果不是这样的。
-
OK. What happens if you actually have something that's both syntactically correct, and appears to have correct static semantics, and you run it?
好，当你的代码语法,没错误，并且也有正确的静态语义，你去运行它的时候会发生什么呢？
-
Not everything is going to get caught in static semantics checking.
并不是所有的错误,都会在静态语义检查中被捕获。
应用推荐