|
|||||
|
|
| 向量化下标追踪法的强化定理及其应用 | |
| 作者姓名： | 范植华 |
| 作者单位： | 长沙工学院计算机研究所 |
| 摘 要： | 在文献[1]和[2]的基础上,本文运用现代集合论工具对时序层次加以抽象,接着证明了强化定理。最后,本文运用强化定理彻底解决一般赋值语句循环的向量化问题。 |
| 点击此处可从《中国科学A辑》浏览原始摘要信息 | |
| 点击此处可从《中国科学A辑》下载免费的PDF全文 | |
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |