符号执行使用符号变量(Symbolic Variable)表示程序变量,以符号表达式 (Symbolic Expression)作为符号变量的符号取值,全部符号变量在某一时刻的取 值构成程序在此时刻的...
基于54个网页-相关网页
Implied symbolic variable 默认符号变量
Symbolic variable plays a very important role in program.
符号变量在程序中起着至关重要的作用。
Next, you ensure that your atomic variable is initialized using the ATOMIC_INIT symbolic constant.
接下来,需确保您的原子变量使用ATOMIC_INIT符号常量进行了初始化。
However, as each entry in the determinant is symbolic, that is, a polynomial in variable(s), this leads to the intermediate expression swell(or explosion) problem in the expansion of determinant.
但是,由于行列式中的元素通常是符号化的,即其中每个元素都是关于变元(或参数)的多项式,导致行列式展开时的中间计算过程膨胀(甚至爆炸)。
应用推荐