【摘 要】
:
可以静态地和动态地检查计算机程守的错误.静态分析查找程序的结构故障和语义故障。动态分析证实程序正确运行并帮助识别错误。
论文部分内容阅读
可以静态地和动态地检查计算机程守的错误.静态分析查找程序的结构故障和语义故障。动态分析证实程序正确运行并帮助识别错误。
其他文献
自动扶梯发展已有100多年历史,其广泛应用于商场、地铁、火车站等场所。目前市面上自动扶梯产品多为控制板和变频器彼此分离的分体机,这种分体机能正常实现自动扶梯功能,但是
作者评介了澳大利亚财政转移支付制度,并结合我国财税体制改革,提出了借鉴意见:中央财政在全国财政分配中必须占据主导地位,这样才能通过转移支付促进落后地区的经济发展;处理中央
阐述一种高速横向PET收缩膜生产设备的研发设计,满足横向PET收缩膜生产设备的提高生产率的要求。
绿地系统的生态功能依赖于植物个体、群落、生态系统和景观4个不同尺度上的合理性。文中重点分析了不同尺度下影响城镇绿地生态功能的因素,并对提高城镇绿地生态效益的途径进
城镇绿地系统是由多种类型的绿地构成的,不同绿地类型的生态功能不同。文中重点分析了森林绿地与草坪在提高生物多样性、吸滞灰尘、改善交通、自我维持等方面的差异,强调了建
目的研究在心血管疾病治疗中使用复方丹参滴丸治疗的临床价值。方法本文选取随机数字表法的形式将2018年5月至2019年5月期间收入的80例心血管疾病患者进行分组研究,每组40例,
收集本院2例红花注射液致过敏性休克不良反应患者的临床资料,并做出相关应对措施。探讨其致严重不良反应的临床特点及原因,为临床合理用药提供参考。红花注射液除糖尿病患者
饮酒,是世界许多民族所共有的文化现象。然而,饮酒习俗所表现出的文化内涵和文化特质,却千差万别,异彩纷呈。历史的不同时期所反映的酒文化也因其特有的社会文化的影响,而有
跨国公司与本土企业的合作是全球经济一体化进程中的重要组成部分。在过去的20多年里,中国和跨国公司占世界GDP的份额不断上升,双方均受益于全球经济一体化的合作。未来,中国
<正>为了改变北宋"积贫积弱"的国势,1069年宋神宗任用王安石主持了一场震动朝野的大变法。变法从理财入手,进而波及到经济、军事、教育、文化等多个领域。变法在一定程度上扭