【摘 要】
:
针对C语言的特点,文中引入了C程序的一些重要概念,诸如数据依赖,控制依赖和程序依赖等。在分析C程序的程序依赖性的基础上,介绍了作者设计并实现了一个C程序切片系统,其名包括系统在概
【机 构】
:
南京航空航天大学计算机科学与工程系
论文部分内容阅读
针对C语言的特点,文中引入了C程序的一些重要概念,诸如数据依赖,控制依赖和程序依赖等。在分析C程序的程序依赖性的基础上,介绍了作者设计并实现了一个C程序切片系统,其名包括系统在概要设计思想,系统中使用的数据结构以及切片生成算法,C程序切片系统不仅可用于产生C程序的切片,而且可用于观察C程序的框架结构和有关变量的多种数据字典,所有这些结果,为C程序的测试,排错与维护提供许多用的信息,对C程序的并行性
其他文献
改革开放十余年来,我国经济发展确实开创了一个新局面。目前,社会主义市场经济的目标已经确立,但是新体制还没有形成和建立,旧体制已经被否定,但是还未退出历史舞台,或者说还不太愿意退出历史舞台。我们目前正处于新旧两种体制交替的过渡时期。许多政策措施由于缺乏经验,缺乏远见,缺乏正确的理论指导,未能根据过渡
2020年9月27日上午,乾县脱贫攻坚领导小组会议结束后,教育局立即召开党委会,传达学习县脱贫攻坚领导小组会议精神,通报存在问题,集中研究解决策略,进一步明确近期扶贫工作任
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
妻子下岗在家,晚上在人行道十字路口边摆了一个小货摊,专卖日常用品,虽说来买东西的都是大爷、大妈们,但由于小摊地理位置不错,生意还可以。那天,吃完晚饭,我照例来看着摊子,
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
探讨了用层间埋置Ni-Cr合金丝构成局部网络实现对复合材料表面损伤位置和损伤程度检测。对表面裂纹尖端附近的应力场分布进行了分析,并将试验结果与预测结果进行了比较。实验结果表
[目的/意义]UTAUT被广泛应用于用户的信息技术使用意向与行为研究中,梳理和总结UTAUT在信息系统领域的重要研究成果,有助于研究者们把握UTAUT未来研究的思路和方向。[方法/过
分别对鸡、牛、猪、羊、鱼等五种新鲜动物肌肉组织进行不同温度的热处理,对处理前后的样品进行SDS-聚丙烯酰胺凝胶电泳,结果显示五种动物肌肉组织经不同温度处理,所得电泳图
陕西省神木市大柳塔第一小学位于神木市大柳塔试验区,是神木市教育和体育局直属管理下的城区学校。大柳塔第一小学原名大柳塔中心小学,1996年8月新迁校址从大柳塔中学独立出
Seminar教学法与校企"多师同堂"的协同教学,是经管专业加强理论与实践融合,培养复合型人才的有效途径。文章梳理Seminar教学法和"多师同堂"的内涵及实施现状,分析两者协同对