论文部分内容阅读
静态分析器是一种初步具备有关数据对象的语言知识，融编辑、语法分析和静态语义检查为一体的软件工具．本文以Ａｄａ语言中的子程序规格说明为基础，阐明了静态分析器在软件开发环境中的作用和意义，介绍了分析器数据结构的构成以及语法树的构造方法，并用两个实例对静态分析的过程作了说明．
静态分析器在软件开发环境中的应用
【摘 要】
：
静态分析器是一种初步具备有关数据对象的语言知识，融编辑、语法分析和静态语义检查为一体的软件工具．本文以Ａｄａ语言中的子程序规格说明为基础，阐明了静态分析器在软件开发环境中的
【机 构】
：
陕西师范大学计算机科学系
【出 处】
：
陕西师大学报：自然科学版
【发表日期】
：
1994年3期
其他文献
讨论一种基于人－机对话的机理分析与猜测试验相结合的组合式预测技术模型的生成方法，并给出这种模型的计算式、预测算法和计算机程序框图。
杏梅,像杏似李,金黄色,它较杏、李果实个大,兼具杏、李之优点,且果皮韧性大,便于运输,单果平均质量为70 g,最大单果质量为120g,果实采摘后,经5天～7天的后熟期,即具有诱人香味,
本文介绍了城乡一体化的内涵，从贯彻落实科学发展观、消除城乡二元结构，有效解决“三农”问题、加快构建和谐社会、促进全面小康社会建设四个方面阐述了构建城乡一体化格局的意
本文通过对当代体育教学的指导思想的剖析，在现今的教学形式上认为体育俱乐部是符合大多数指导思想的理想教学形式。它能满足大多数学生的兴趣，树立他们的终身体育观、快乐体育
目的：探讨优降糖治疗2型糖尿病所致低血糖反应的临床表现、治疗、转归。方法：入选45岁-76岁服用优降糖5 mg/d-15 mg/d引起低血糖反应的2型糖尿病患者48例,进行临床观察。结果：经
文化软实力从根本上源自于文化的力量，是一个国家或地区文化所释放出来的既改变他者的存在状况、更改变自己的存在状的力量，是国家综合实力的一个重要组成部分。在新的国家发展
目的探讨血管内栓塞治疗颅内破裂动脉瘤的近期疗效及对患者免疫功能的影响。方法2011年6月至2015年6月收治颅内破裂动脉瘤52例，根据治疗方法分为观察组和对照组，各26例。观察组
目的探讨经皮椎间孔镜术治疗腰椎间盘突出伴后纵韧带骨化的方法及疗效。方法回顾性分析2016年1月至2018年1月收治的14例腰椎间盘突出伴后纵韧带骨化的临床资料,均采用经皮侧
目的 探讨闭塞载瘤动脉与保留载瘤动脉栓塞治疗未破裂大脑后动脉动脉瘤（PCA）的效果。方法 回顾性分析2009年1月至2014年1月栓塞治疗的36例PCA的临床资料，其中闭塞载瘤动脉22例（闭
应用包装ＩＬ－２基因的逆转录病毒载体，将ＩＬ－２基因导入小鼠成纤维细胞ＮＩＨ－３Ｔ３和小鼠黑色素瘤细胞Ｂ１６，建立了ＮＩＨ－３Ｔ３／ＩＬ－２－，ＮＩＨ－３Ｔ３／ＩＬ－２－７和Ｂ１６／ＩＬ－２－等３个转基因细胞株，应用ＣＴＬＬ－２／ＭＴＴ法快速测定各转基因细胞株分泌上清ＩＬ／２的浓度。