-
题名一种基于模块单子语义的动态程序切片方法
被引量：12
- 1
-
-
作者
张迎周
徐宝文
-
机构
东南大学计算机科学与工程系
-
出处
《计算机学报》
EI
CSCD
北大核心
2006年第4期526-534,共9页
-
基金
国家杰出青年基金(60425206)
国家自然科学基金(60373066
+4 种基金
90412003
60403016)
国家"九七三"重点基础研究发展规划项目基金(2002CB312000)
国家教育部博士点基金(20020286004)
江苏省高校自然科学研究计划项目基金(05KJD520151)资助.
-
文摘
提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片算法.据此,可直接在抽象语法结构上计算动态切片,不必记录程序执行历史;相应单子切片器也无需显式地构造诸如依赖图的中间结构.这种模块化抽象机制使得文中的动态切片算法具有很强的可扩展性和重用性.
-
关键词
程序切片
动态切片
单子
单子转换器
模块单子语义
-
Keywords
program slicing
dynamic slicing
monads
monad transformers
modular monadic semantics
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种过程间单子切片方法
被引量：2
- 2
-
-
作者
张迎周
符炜
-
机构
南京邮电大学计算机学院
广西可信软件重点实验室
江苏省无线传感网高技术研究重点实验室
宽带无线通信与传感网技术教育部重点实验室
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2013年第8期1457-1461,共5页
-
基金
国家自然科学基金(No.60973046
No.61100135)
+4 种基金
江苏省普通高校研究生科研创新计划(No.CX10B-195Z
No.CXLX12-0479)
南京邮电大学攀登计划(No.NY210009)
广西可信软件重点实验室开放基金
江苏省"青蓝工程"优秀青年骨干教师项目
-
文摘
在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得所需的过程间单子切片.算法充分利用了过程内单子切片的结果,相当程度上避免了重复计算,无需进一步构造诸如特征子图、连接语法等中间形式,同时通过参数间依赖避免了调用上下文问题.此外,文中算法保留了过程内单子切片算法的强语言适应性和组合性.
-
关键词
单子切片方法
模块单子语义
过程间程序
参数间依赖
组合性
-
Keywords
monadic slicing methods
modular monadic semantics
interprocedural programs
dependences among the parameters
compositionality
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
