一种新型形式化程序切片方法 |
| |
引用本文: | 张迎周,;徐宝文.一种新型形式化程序切片方法[J].中国科学(E辑),2008(2):161-176. |
| |
作者姓名: | 张迎周 ;徐宝文 |
| |
作者单位: | [1]南京邮电大学计算机学院,南京210003; [2]东南大学计算机科学与工程学院,南京210003 |
| |
基金项目: | 国家杰出青年基金(批准号:60425206)、国家自然科学基金重点项目(批准号:60633010)和国家自然科学基金青年基金(批准号:60703086)资助项目感谢西班牙奥维耶多大学J.Labra博士与我们进行的关于单子切片算法和实现的合作交流. |
| |
摘 要: | 针对目前程序切片方法较单一,且其模块性和程序语言适应性较差,提出一种新型的形式化程序切片方法——基于模块单子语义的切片方法.通过设计切片单子转换器,切片这一类计算被抽象成独立于具体语言的切片单子转换器,它可模块化地加载到实际程序中,得到相应的模块单子切片算法,这种模块化的抽象机制使得单子切片算法具有较强的模块性和语言适应性,还给出切片单子转换器的若干性质,并证明模块单子切片算法的正确性和终止性,同时研究单子切片算法与基于图可达性切片算法间的联系。
|
关 键 词: | 程序切片 单子 模块化 切片单子转换器 形式化语义 |
本文献已被 维普 等数据库收录! |