English translation for "赋值符号"
|
- a ignment symbol
assignment symbol colon equal symbol
Related Translations:
明确赋值: definite assignment 赋值过程: assignment procedure 构件赋值: structure assignment 赋力加速: acceleration by powering
- Example Sentences:
| 1. | Jiangjun tang ( computer software and theory ) directed by huimin lin a method for selecting test synchronization sequences for concurrent programs is presented 本文提出一种基于带赋值符号迁移系统stga选取测试同步序列的方法。 | | 2. | A possible solution to this problem is : adopting symbolic transition graph with assignment ( stga for short ) to model value - passing systems , introducing a predicate mu - calculus to characterize desired properties , and verifying value - passing concurrent processes using an " on - the - fly " algorithm 解决这个问题的一个方案是:使用带赋值符号迁移图( stga )作为并发传值进程的模型,使用谓词演算作为刻画性质的逻辑,并采用动态实例化的算法对传值并发进程直接进行模型检测。 |
- Similar Words:
- "赋值地址" English translation, "赋值调用" English translation, "赋值定理" English translation, "赋值动作" English translation, "赋值分量" English translation, "赋值公理" English translation, "赋值规则" English translation, "赋值过程" English translation, "赋值环" English translation, "赋值计算" English translation
|
|
|