J4 ›› 2007, Vol. 29 ›› Issue (1): 79-82.
• 论文 • 上一篇 下一篇
刘震[1,2] 缪力[1]
出版日期:
发布日期:
Online:
Published:
摘要：
程序切片是一种重要的程序分析技术,随着并行技术在越来越多的程序中得到运用,需要将以往多用于顺序程序的程序切片技术也用于并发程序中。本文在文献[1,2]的基础上考虑到互斥机制作用,改进了原来的并发程序的切片算法,使之适用于互斥机制的并发程序。
关键词: 程序切片 互斥 并发程序
Abstract:
Program slicing is an important technique for analyzing programs. It is required to apply the technique to concurrent programs with the concurrent technique employed in more programs. This paper presents a new but more precise algorithm based on 1,2, taking mutual exclusion into account.
Key words: program slicing;mutual exclusion;concurrent program
刘震[1,2] 缪力[1]. 互斥并发程序的程序切片算法研究[J]. J4, 2007, 29(1): 79-82.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2007/V29/I1/79
