论文部分内容阅读
介绍了静态分析软件合法性的规则、算法思想以及模块、迁移标的数据结构,分析了模块之间存在的各种可能的关系以及其对应关系应采取的算法策略,并具体分析了如何进行程序设计来满足测试的要求.
静态程序的合法性检查研究
【摘 要】
：
介绍了静态分析软件合法性的规则、算法思想以及模块、迁移标的数据结构,分析了模块之间存在的各种可能的关系以及其对应关系应采取的算法策略,并具体分析了如何进行程序设计
【机 构】
：
南京邮电学院计算机科学与技术系
【出 处】
：
南京邮电学院学报：自然科学版
【发表日期】
：
2003年3期
其他文献
1、德国学者Prager等应用3种方法即免疫沉淀试验(IDA)、ELISA和Western印迹法检测血清中抗山羊关节炎—脑炎和维斯纳—梅迪病毒抗体。结果经IDA检测18279份山羊血清阳性645份
城市生态住宅小区最终的体现要以人为本，追求自然与现代的结合，营造自然生态环境，实现人与人、人与自然间的自由交流。
1 企业的法定代表人能自行更换吗?编辑同志:我是一个企业的法定代表人,在工作中,我觉得同事张某各方面能力都比我强。我有意将企业的全盘工作都交给他来领导。请问,如果我们
随着城市化的高速发展,植物园已经成为现代文明城市的重要标志,是向全社会进行生态文明和自然科学知识教育的重要载体。文章介绍了赤峰植物园的基本情况和主要特点,重点对其
坚持以人民为中心，是习近平新时代中国特色社会主义思想的核心内容，是新时代坚持和发展中国特色社会主义的基本方略。这就意味着，无论是在经济社会发展方面，还是在党的建设方面，都
报纸
目前,在爱尔兰诊断牛海绵状脑病的方法有四种:1.组织病理学检查法:取脑组织切成了3mm左右的厚度,放入乙醇(70—100％)和无水二甲苯(最好停留14天以上),再用蜂蜡封存,然后在切片
随着科学技术的发展,人们的衣、食、住、行无一不与互联网产生或多或少的联系,这其中的典型案例就是网络购物。而推荐系统便是如今一种热门的运用于网络购物的技术,是现代互
文章从北京推进宜发达地区城市、生态城市建设的角度，总结了北京城市森林建设历程和坚持生态优先、因地制宜、以人为本3点主要做法。客观分析了目前北京城市森林体系在落实发