Another type of section, known by the BSS designation, contains blocks started bysymbol data.
另一种类型的段,称为bss段,它包含以符号数据开头的块。
2
This result shows that it is effective to analyse and check the new property of E-commerce protocols bysymbol model checker.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
3
Therefore, it was not a realistic work in a strict sense, but the one full of modern flavor mixed bysymbol, metaphor, dreams, absurdness and mythological mode.