互斥并发程序的程序切片算法研究

• 作者: 刘震 缪力
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 程序切片 互斥 并发程序
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 算法研究
• 页码范围: 79-82
• 页数: 4页
• 分类号: TP311.5
• 字数: 4539字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.01.025

摘要

程序切片是一种重要的程序分析技术,随着并行技术在越来越多的程序中得到运用,需要将以往多用于顺序程序的程序切片技术也用于并发程序中.本文在文献[1,2]的基础上考虑到互斥机制作用,改进了原来的并发程序的切片算法,使之适用于互斥机制的并发程序.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪力	湖南大学软件学院	35	167	8.0	10.0
2	刘震	湖南大学软件学院	1	1	1.0	1.0