Institutional Repository
| 基于CTL的循环优化变换描述方法 | |
| Alternative Title | loop optimization transformation using ctl specifications |
| 夏勇; 薛云志; 陶秋铭; 赵琛 | |
| 2007 | |
| Source | 计算机应用研究
 |
| ISSN | 1001-3695 |
| Volume | 24Issue:7Pages:49 |
| English Abstract | TRANS是基于CTL的优化变换描述语言,对TRANS语言作了宏扩展,给出了循环嵌套、循环归纳变量、循环依赖及方向向量的时序逻辑描述.从依赖分析的角度对重排序循环优化变换加以考查,并以循环逆转和循环交换为例阐述了其形式化描述方法. |
| Indexed Type | wanfang,cscd,cnki |
| Keyword | 循环优化变换 分支时序逻辑 依赖分析 |
| Department | 基础软件国家工程研究中心 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4668 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation GB/T 7714 | 夏勇,薛云志,陶秋铭,等. 基于CTL的循环优化变换描述方法[J]. 计算机应用研究,2007,24(7):49. |
| APA | 夏勇,薛云志,陶秋铭,&赵琛.(2007).基于CTL的循环优化变换描述方法.计算机应用研究,24(7),49. |
| MLA | 夏勇,et al."基于CTL的循环优化变换描述方法".计算机应用研究 24.7(2007):49. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 6.pdf（242KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment