我准备用它们来解说变量的命名习惯，读者现在不必太在意赋值符号右边的部分。
I'm using them to illustrate the variable naming conventions, don't be too concerned about the righthand side for now.
同时要注意，未定义的符号foo . fop . nope尽管没有赋值，但这样表示只是它本身的拼写。
Also notice that the undefined symbol foo.fop.nope simply stands for its own spelling, absent an assignment to the contrary.
另外一种解决方案是对整个表达式进行转换，这样就可以在赋值时进行符号扩展。
Another solution is to cast the entire expression such that sign extension occurs on assignment. For example, consider the problem caused by the following.
如果在表达式中混合使用无符号和有符号的32位整数，并将其赋值给一个有符号的long类型，那么将其中一个操作数转换成64位的类型。
In cases where unsigned and signed 32-bit integers are mixed in an expression and assigned to a signed long, cast one of the operands to its 64-bit type.
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
上下文是简单的变量和表达式所需的函数，将返回一个值，并且赋值给标识，包括在符号表中的。
A context is simply the variables and functions that are needed by the expression to return a value, and are assigned to the identified included inside the Symbol Table.
可以定义符号，但是无法对符号赋值。
You can define a symbol, but you cannot assign a value to a symbol.
可以定义符号，但是无法对符号赋值。
You can define a symbol, but you cannot assign a value to a symbol.
应用推荐