论文部分内容阅读
静态分析器是一种初步具备有关数据对象的语言知识,融编辑、语法分析和静态语义检查为一体的软件工具.文本以Ada语言中的子程序规格说明为基础,阐明了静态分析器在软件开发环境中的作用和意义,介绍了分析器数据结构的构成及语法树的构造方法,并用两个实例对静态分析的过程作了说明.
静态分析器静态分析过程的研究及实现
【摘 要】
：
静态分析器是一种初步具备有关数据对象的语言知识,融编辑、语法分析和静态语义检查为一体的软件工具.文本以Ada语言中的子程序规格说明为基础,阐明了静态分析器在软件开发环
【机 构】
：
济南大学信息科学与工程学院
【出 处】
：
济南大学学报：自然科学版
【发表日期】
：
2001年3期
其他文献
基于ANSYS软件的UPFs二次开发平台,借助损伤变量描述煤岩体的裂隙演化,建立弹性损伤本构模型,对单一煤层分步开采过程进行模拟并研究其损伤演化规律。研究表明,随着工作面的
20世纪以来，中国戏剧以它独特的表现手法影响了西方戏剧界，像桑顿·怀尔德这样的西方艺术家们纷纷从中国戏曲中找到了他们需要的元素。传统的中国戏剧在剧场性方面具有开放
利用化学热力学的基本公式,根据二元溶液临界态的稳定条件,通过数学推导,得到了两个可以用来确定二元溶液临界温度及临界点组成的临界态方程.举例说明了如何应用该方程确定二
外国报刊选读课是教学大纲所规定的课程之一,然而教学现状为这一课程的开展设置了种种障碍.本文建议采用建构主义教学理论对报刊选读课教学进行彻底改革,并介绍了在这一理论
英语语流的核心当包含重音等时的节奏、梯级渐降的音高和协调顺滑的连诵.本文从理论与实践、地道英语与中国英语、口试样本与语音书籍编排等角度进行了认证,并提供借助于音乐
阅读研究发轫于 19世纪 70年代的欧洲 ,在 19与 2 0世纪之交 ,研究中心转到了美国。在前半个多世纪里 ,研究的兴趣主要集中于视觉信息、记忆、教学等方面 ;自 2 0世纪 6 0年
采用Rosenberg自尊量表（Self-Esteem Scale,SES）和学习动机诊断测验进行问卷测量,探讨179名高一学生自尊和学习动机与学业成绩的关系。结果表明：（1）自尊和学习动机与学业成绩之间
信任协商是分布式环境下不同个体之间建立相互信任的有效方法。对一种新的互联网信任协商模型Trust-X进入了深入分析，该模型针对P2P环境下的资源访问控制问题。提出了一套通用
以平面图形为观察对象 ,利用透视投影变换进行多角度的观察 ,将变换的结果与相机拍摄的具有相同角度的图片进行比较 ,来研究平面图形的三维观察效果。在透视投影变换过程中 ,像素点会发生重合和分离的情况 ,前一种情况可不考虑 ,对后一种情况利用插值作了处理。实验获得了良好的效果 ,这表明利用透视投影变换进行的多角度的观察 ,可以得到三维物体各个角度的概貌 ,从而实现三维物体的重构。
针对ElGamal数字签名方案不允许消息恢复的问题,在分析ElGamal数字签名方案具体应用的基础上,给出一种新的消息恢复型签名方案,其安全性基于有限域上求解离散对数的困难性和