计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2007年
7期
49-51,60
,共4页
夏勇%薛云志%陶秋铭%赵琛
夏勇%薛雲誌%陶鞦銘%趙琛
하용%설운지%도추명%조침
循环优化变换%分支时序逻辑%依赖分析
循環優化變換%分支時序邏輯%依賴分析
순배우화변환%분지시서라집%의뢰분석
TRANS是基于CTL的优化变换描述语言,对TRANS语言作了宏扩展,给出了循环嵌套、循环归纳变量、循环依赖及方向向量的时序逻辑描述.从依赖分析的角度对重排序循环优化变换加以考查,并以循环逆转和循环交换为例阐述了其形式化描述方法.
TRANS是基于CTL的優化變換描述語言,對TRANS語言作瞭宏擴展,給齣瞭循環嵌套、循環歸納變量、循環依賴及方嚮嚮量的時序邏輯描述.從依賴分析的角度對重排序循環優化變換加以攷查,併以循環逆轉和循環交換為例闡述瞭其形式化描述方法.
TRANS시기우CTL적우화변환묘술어언,대TRANS어언작료굉확전,급출료순배감투、순배귀납변량、순배의뢰급방향향량적시서라집묘술.종의뢰분석적각도대중배서순배우화변환가이고사,병이순배역전화순배교환위례천술료기형식화묘술방법.
