10.3969/j.issn.1000-386X.2006.05.015
非原子性异常处理的静态分析
异常处理机制是程序设计语言的重要特征之一,它为开发可靠性系统提供了强有力的支持.但异常处理代码必须仔细编写,否则可能破坏程序的一致性.提出了基于扩展的程序依赖图,通过静态分析来发现程序中异常非原子性代码的方法,同时给出了自动的部分屏蔽异常非原子性代码的方法.
异常处理非原子性、扩展的程序依赖图、异常、别名
23
TP3(计算技术、计算机技术)
2006-06-08(万方平台首次上网日期,不代表论文的发表时间)
共4页
35-37,40