中英▼
go top

static single assignment

  • 静态单一赋值：一种编译器优化技术，要求每个变量只被赋值一次，以便更容易进行数据流分析和优化。

网络释义专业释义

  静态单一指派

c．Gotlieb采用方法 埘约束求解的方法生成测试数据，利用“静态单一指派”（Static Single Assignment）和控制依 赖，将被测程序转化成一个约束系统，然后寻找经过给定语句的路径，生成相应的测试数据。

基于20个网页-相关网页

  分配

该算法依赖于静态单一分配（Static Single Assignment，SSA）形式。这一做法的另外好处是提供一个简化了的数据流分析与较短的动态时间间隔，这样取得了在编译时间与程序...

基于8个网页-相关网页

  使用静态单分配

HIR使用静态单分配(static single assignment, SSA)形式来代表代码值，这是为了使发生在IR构造期间和之后的一些优化更容易。

基于4个网页-相关网页

  赋值

数据流分析使用静态 单赋值（Static Single Assignment, SSA）分析和 符号执行取代传统的定义- 使用链（def-use chain）分析。

基于4个网页-相关网页

短语

static single assignment form 静态单赋值形式 ; 静态唯一形式 ; 单的静态唯一形式 ; 一形式

Static Single-Assignment 静态单分配 ; 静态单赋值

static single assignment ssa 静态单指派

Static single-assignment representation 静态单赋值形式

Enter static single assignment form 进入静态单赋值形式

single static assignment 单一静态赋值

 更多收起网络短语
  • 静态单赋值 - 引用次数：4

    参考来源 - 快速程序流分析方法的研究与应用

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句

  • GCC 4 brings many changes to the standard compiler suite, the biggest of which is around support for optimizations with the introduction of the tree Static Single Assignment (SSA) form.

    GCC 4为标准的编译器套件带来了很多变化，最大的变化是为了支持优化而引入的树的Static Single Assignment (ssa)形式。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定