【摘要】传统的静态程序切片和动态程序切片技术很难有效解决并发程序中数据共享错误定位问题。文中基于扩展的定义使用关系构造静态并发序列切片和动态并发序列切片，并通过实例验证了并发序列切片在定位数据共享错误上的有效性。
【关键词】
《科技创新与应用》 2015-11-04
《科技创新与应用》 2015-11-04
《科技创新与应用》 2015-11-04
《科技创新与应用》 2015-11-04
《宁波职业技术学院学报》 2015-11-05
《宁波职业技术学院学报》 2015-11-04
《文学教育（中）》 2015-11-04
《科技创新与应用》 2015-11-05
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
发表评论
登录后发表评论 (已发布 0条)点亮你的头像 秀出你的观点