符号执行的英文

• symbolic execution

• "符号"英文翻译    character; sign; symbol; mar ...
• "执行"英文翻译    carry out; execute; implemen ...
• "语法指导符号执行" 英文翻译 :    syntax-directed symbolic execution
• "可执行符号" 英文翻译 :    executable symbol
• "执行符号" 英文翻译 :    do symbol
• "船舶登记号执照" 英文翻译 :    official number certificate
• "符号" 英文翻译 :    1.(记号; 标记) character; sign; symbol; mark; code; notation; expression; denotation; sentinel 注音符号 phonetic symbol; 标点符号 punctuation mark; 代数符号 algebraic symbol2.(表明职别、身分等的标志) insignia
• "执行" 英文翻译 :    carry out; execute; implement; performance; accomplishment; transaction; layout; macking; implementation; version; execution; performing 执行命令 execute an order; 执行任务 carry out a task; 执行董事 executive director; 执行官 action officer; 执行机关 executive organ; 执行机构 executive body; [控] actuator; actuating mechanism; 执行秘书 executive secretary; 执行 [经营]人 operator; 执行委员会 executive council [committee]; 执行主席 executive [presiding] chairman
• "执行，执行过程" 英文翻译 :    execution
• "aiga符号" 英文翻译 :    dot pictograms
• "id符号" 英文翻译 :    id symbol
• "nabla符号" 英文翻译 :    del
• "长符号" 英文翻译 :    long symbol
• "除符号" 英文翻译 :    divided-by symbol
• "串符号" 英文翻译 :    string symbol
• "次符号" 英文翻译 :    sub-symbol
• "带符号" 英文翻译 :    tape symbol
• "当符号" 英文翻译 :    while symbol
• "倒置t符号" 英文翻译 :    inverted t symbol
• "得符号" 英文翻译 :    call sign
• "点符号" 英文翻译 :    point symbol
• "顶符号" 英文翻译 :    top symbol
• "非符号" 英文翻译 :    not symbol
• "符号lm)" 英文翻译 :    lumen
• "符号，记号" 英文翻译 :    symbol

• Performs a search on the currently selected member symbol using the options specified on the
  中指定的选项，对当前选定的成员符号执行搜索。
• Performs a search on the currently selected object symbol using the options specified on the
  中指定的选项，对当前选定的对象符号执行搜索。
• We can also find unexecutable paths of the sequential program . when we find them we will stop the analysis . we enhance the capability of the traditional methods of detecting data dependence
  我们采用了遍历程序路径和对路径进行符号执行的策略，这样可以尽可能早的发现程序中的不可执行路径，从而提高分析的效率。
• For this reason , the thesis presents an approach based on constraint satisfaction , symbolic execution and extended finite state machines . it can analyze programs written in a subset of the c programming language
  针对上述情况，本文中提出了一种方法，它基于约束满足问题求解方法和扩展有限状态机上的符号执行算法，能够对c语言子集描述的程序进行分析。
• In this thesis , we will review some traditional methods of detecting data dependence and analyze the relation between the data dependence and the mechanism of parallelism . based on path analysis and symbolic execution , we describe two methods , static analysis and dynamic analysis , for detecting data dependence of array variables in loops of sequential programs
  进而提出了基于路径分析和符号执行的静态测试和动态测试方法，来研究串行程序中循环内部数组变量的数据相关性，该方法对于下标表达式为线性表达式时有很好的效果，而且能够处理一些复杂的数组下标表达式，比如数组下标表达式含有输入变量和非线性下标表达式的情况。

• 符号执行的韩语：기호 실행
• 符号执行的阿拉伯语：تنفيذ رمزي;