切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
静态分析器应用研究
静态分析器应用研究
来源 :微型机与应用 | 被引量 : 0次 | 上传用户:YING1216
【摘 要】
:
以Ada语言中的子程序规格说明为基础,阐明了静态分析器在软件开发环境中的作用和意义,介绍了分析器数据结构的构成及语法树的构造方法,并用2个实例对静态分析的过程作了说明.
【作 者】
:
黄世葆
蔡之华
【机 构】
:
武汉中国地质大学信息工程学院
【出 处】
:
微型机与应用
【发表日期】
:
2001年6期
【关键词】
:
软件开发
ADA语言
静态分析器
数据结构
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以Ada语言中的子程序规格说明为基础,阐明了静态分析器在软件开发环境中的作用和意义,介绍了分析器数据结构的构成及语法树的构造方法,并用2个实例对静态分析的过程作了说明.
其他文献
关于增强社会主义意识形态吸引力的思考
当代中国意识形态领域的发展态势使社会主义意识形态建设面临着严峻的挑战,迫切需要增强吸引力。构建社会主义和谐社会对增强意识形态吸引力也提出了新要求。我们必须发挥社会
期刊
意识形态
和谐社会
吸引力
数字电路虚拟实验系统中虚拟器件的设计
应用Simulink设计和封装"数字电路虚拟实验系统"所需的虚拟器件的一些方法和技巧。
期刊
数字电路
虚拟实验系统
虚拟器件
设计
一道竞赛题的简解与拓展
<正>一、竞赛题及参考答案题目(2017年全国高中数学联赛新疆预赛高一)如图1,边长为2的等边三角形△ABC中,D是BC的中点,E、F分别是边AB、AC上的动点.(1)若∠EDF=120°,求证:AE
期刊
竞赛题
等边三角形
EDF
均值不等式
氧化钕薄膜的红外光学特性
<正> 在稀土材料的光学特性研究中,薄膜光学特性的研究还很少见到。为此,我们测量了氯化钕、氧化钕薄膜的红外透射特性及其折射率,表明Nd2O3可作为一种高折射率、透红外的光
期刊
红外吸收光谱
红外透射
红外光学
高折射率
吸收带
氧化钕
浅议如何培养小学生良好的书写习惯
学生书写习惯的培养是一个需要长期坚持的过程,也是形成学生良好意志、品质的过程,教师必须从学生的日常学习、生活抓起,充分利用好教育的最佳时期,教育、引导学生养成良好的
期刊
小学教育
书写习惯
培养方法
重型钢结构工业厂房的安装施工
重点介绍特变电工衡阳变压器有限公司重型钢结构厂房的施工和安装难度,实际施工中的测量,安装质量等方面的精度、施工方法等,供同类工程参考.
期刊
重型钢结构
特变电工衡阳变压器有限公司
安装施工
工业厂房
钢结构厂房
安装质量
施工方法
工程
difficulty and character istic
钢桁架受力性能实测
内蒙古工业大学科技实验楼的南、北两子楼在第9、第10层处架空连接,采用重型钢桁架结构实现跨越.介绍了该桁架的现场测试工作,包括测试方案、杆件应力、节点刚性、结构挠度等
期刊
重型钢桁架
节点刚性
现场实测
钢桁架结构
受力性能
内蒙古工业大学
实测
测试工作
测试方案
杆件应力
heavy steel truss rigidity
其他学术论文