没有合适的资源?快使用搜索试试~ 我知道了~
首页单片程序的monadic切片方法与带程序处理
单片程序的monadic切片方法与带程序处理
0 下载量 140 浏览量
更新于2024-08-28
收藏 447KB PDF 举报
本文是一篇研究论文,标题为"带程序的单片切片程序",发表在东南大学英文版的学术期刊上,第24卷第2期,页码178-182,发行时间为2008年6月,ISSN号为1003-7985。作者是张颖洲和张伟峰,来自南京邮电大学计算机学院。 论文的核心内容探讨了一种两阶段的monadic(单子)切片方法,用于处理包含子程序的程序。这种方法旨在解决程序切片中的问题,特别是处理子程序调用关系时的上下文依赖性。第一阶段,称为初始切片阶段,该阶段初始化程序中每个子程序的切片表,使用给定的标签标识形式参数,并分析调用语句,捕捉子程序对调用者的影响。这样做的目的是为了在后续的分析中能够识别出调用上下文的重要信息。 第二阶段,即依赖捕获阶段,通过替换所有出现在相应形式参数集合中的给定标签,进一步捕捉子程序对调用者的依赖关系。引入这些标签使得切片方法能够获得与系统依赖图(SDG,System Dependence Graph)算法相似的总结信息,这些算法通常用于处理程序的调用上下文问题。这种方法的主要优点在于它实现了高度模块化,使得程序切片过程更加精确和有效,有助于理解和优化复杂程序结构。 论文的关键贡献在于提出了一种新的切片策略,结合了monadic切片和程序依赖分析,提高了对程序内部结构的理解,对于软件工程、代码分析和静态分析等领域具有实际应用价值。通过这种方式,开发者可以更好地理解程序的行为,找出潜在的问题并进行相应的优化。这篇论文为处理包含子程序的程序切片提供了一个创新且实用的方法论框架。
资源详情
资源推荐
下载后可阅读完整内容,剩余6页未读,立即下载
weixin_38724154
- 粉丝: 8
- 资源: 895
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- OptiX传输试题与SDH基础知识
- C++Builder函数详解与应用
- Linux shell (bash) 文件与字符串比较运算符详解
- Adam Gawne-Cain解读英文版WKT格式与常见投影标准
- dos命令详解:基础操作与网络测试必备
- Windows 蓝屏代码解析与处理指南
- PSoC CY8C24533在电动自行车控制器设计中的应用
- PHP整合FCKeditor网页编辑器教程
- Java Swing计算器源码示例:初学者入门教程
- Eclipse平台上的可视化开发:使用VEP与SWT
- 软件工程CASE工具实践指南
- AIX LVM详解:网络存储架构与管理
- 递归算法解析:文件系统、XML与树图
- 使用Struts2与MySQL构建Web登录验证教程
- PHP5 CLI模式:用PHP编写Shell脚本教程
- MyBatis与Spring完美整合:1.0.0-RC3详解
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功