基于CTL的循环优化变换描述方法
| Data(s) |
2007
|
|---|---|
| Resumo |
TRANS是基于CTL的优化变换描述语言,对TRANS语言作了宏扩展,给出了循环嵌套、循环归纳变量、循环依赖及方向向量的时序逻辑描述.从依赖分析的角度对重排序循环优化变换加以考查,并以循环逆转和循环交换为例阐述了其形式化描述方法. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
夏勇; 薛云志; 陶秋铭; 赵琛.基于CTL的循环优化变换描述方法,计算机应用研究,2007,24(7):49 |
| Palavras-Chave | #循环优化变换 #分支时序逻辑 #依赖分析 |
| Tipo |
期刊论文 |
