|
|||||
|
|
| 程序分片:其改进算法与在程序验证中的应用 | |
| 作者姓名： | 陆奇 张福波 钱家骅 |
| 作者单位： | 复旦大学计算机科学系(陆奇，张福波)，复旦大学计算机科学系(钱家骅) |
| 摘 要： | 程序分片是一种对程序进行自动分解的方法.本文在对循环语句的控制结构作静态分析的基础上,提出了一种改进的程序分片算法.用新算法所求得的分片在任何情况下都不会比用原有的由Mark Weiser提出的算法所求得的分片大.而且对某些类型的程序,前者将远远小于后者.另外,还扼要地讨论了程序分片在程序验证中的应用. |
| 本文献已被 CNKI 等数据库收录！ | |