论文部分内容阅读
俄罗斯科学院系统编程研究所的研究人员开发出一款C#语言程序静态分析平台软件——SharpChecker，可用于查找程序代码中的错误。
俄罗斯研究人员研制出程序代码错误检测器
【摘 要】
：
俄罗斯科学院系统编程研究所的研究人员开发出一款C#语言程序静态分析平台软件——SharpChecker，可用于查找程序代码中的错误。
【机 构】
：
科技部
【出 处】
：
军民两用技术与产品
【发表日期】
：
2017年11期
其他文献
2002年11月16日，中国广东佛山发现第一起后来被称为SARS的病例。2003年2月3日至14日，广东发病率进入高峰，但病源不清，而且有家属及医护人员极易被集体感染的特点。
危机时刻,不容有法治空白从 SARS 到禽流感,我们真切感受到了我们社会发生的一系列令人惊喜的变化。政府的思路变了:关爱每一个人,尊重每一个公民的权利,对自己的人民负责;
困顿的生活，压不垮她自力更生的信念；年迈的身躯，挡不住她创业脱贫的脚步.她带领乡亲们共奔富路，将致富技术倾袭相授.她，就是呼伦贝尔市扎兰屯市河西街道回民村村民张秀荣.
公元2004年2月22日,对全力抗击禽流感的中国来说,是一个值得记忆的日子。这一天,广西隆安县宣布疫区封锁解除,这标志我国已经进行了整整一个月的禽流感抗击战取得了阶段性胜
在现代汽车所有使用性能当中,汽车操作稳定性是核心部分之一.汽车车身的振动性特征直接影响到汽车的稳定性,而车身所固有的振动性这一特性则与悬架密切相关,因此,汽车悬架对
中国科学技术大学的科学家制备出了综合性能最优的纠缠光子源，在世界上首次成功实现了十光子纠缠，打破了之前由该校保持了多年的八光子纪录，再次刷新了多光子纠缠态制备的世界纪
基于CNABS、DWPI、SIPOABS、VEN数据库,通过检索、统计和分析国内外有关OCDDS的专利申请,对该领域申请量趋势进行统计,梳理OCDDS领域的技术发展脉络,同时,对OCDDS领域的核心