1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 基于CTL的循环优化变换描述方法.pdf

论文研究 基于CTL的循环优化变换描述方法.pdf

上传者: 2020-07-16 21:40:41上传 PDF文件 195.85KB 热度 20次
TRANS是基于CTL的优化变换描述语言,对TRANS语言作了宏扩展,给出了循环嵌套、循环归纳变量、循环依赖及方向向量的时序逻辑描述。从依赖分析的角度对重排序循环优化变换加以考查,并以循环逆转和循环交换为例阐述了其形式化描述方法。
下载地址
用户评论