切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
VAX/Ada调试符号表的形式化描述
VAX/Ada调试符号表的形式化描述
来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:lsd1104
【摘 要】
:
本文叙述了分析研究调试符号表(DST表)的意义和目的,介绍了DST表提供的基本信息,对由VAX/Ada生成的支持Ada源程序调试的调试信息——调试符号表进行了形式化的描述,给出了快
【作 者】
:
蔡建平
【机 构】
:
西安空军电讯工程学院
【出 处】
:
计算机工程与设计
【发表日期】
:
1989年5期
【关键词】
:
ADA语言
源程序
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文叙述了分析研究调试符号表(DST表)的意义和目的,介绍了DST表提供的基本信息,对由VAX/Ada生成的支持Ada源程序调试的调试信息——调试符号表进行了形式化的描述,给出了快速查询DST表的运行符号表(RST表)的数据结构。
其他文献
侃谈六展
期刊
第六届国产影音器材大展
产品质量
知识产权
脉冲波对离子跨膜迁移的影响
基于能斯托公式和玻尔兹曼公式,该文利用矩形脉冲波的傅里叶展开和电磁波理论,给出了脉冲波引起离子跨膜迁移量变化的分析方法。并就脉冲波和定态电磁波对离子跨膜迁移量的影响
期刊
矩形脉冲波
离子跨膜迁移量
定态电磁波
rectangular pulse wave ion concentration change trans-membr
上三角算子矩阵的(ω)性质的摄动
根据2×2上三角算子矩阵对角上的两个算予的谱集的特点来研究该2×2上三角算子矩阵的平方满足(ω)性质在紧摄动下的稳定性,并给出了2×2上三角算子矩阵的平方满足(ω
期刊
(ω)性质
紧摄动
上三角算子矩阵
property (ω) compact perturbations upper triangular operator
利用国产设备的多晶硅膜等离子体腐蚀技术
本文介绍利用国产DK-P290型等离子刻蚀设备完成的多晶硅膜腐蚀技术的研究。利用SF_6作腐蚀剂,可以得到腐蚀速率超过0.1微米/分的均匀腐蚀。每批8个3吋园片,其单片和片间均匀
期刊
多晶硅膜
等离子刻蚀
硅MOS
Polysilicon film
Plasma etching
Silicon-gate MOS
椭圆曲线密码体制及其在智能卡上的应用
近年来椭圆曲线密码体制研究已经成为一个热点,椭圆曲线密码体制从安全性和有效性来看具有广阔的应用前景.介绍了椭圆曲线的基本知识、椭圆曲线上的密码体制及其在智能卡方面
期刊
椭圆曲线
密码体制
离散对数
智能卡
Satoh算法
elliptic curve cryptosystem discrete logarithm smar
MDEBUG:一个交互式的多机调试软件
本文首先详细介绍了一个已在多微机系统AP85上实现的多机调试软件MDEBUG的结构和功能。依照作者运用MDEBUG调试实践,提出了两个并行程序的调试策略。
期刊
调试软件
MDEBUG
程序设计
区间集概念格的构造理论研究
区间集概念格是对形式概念分析理论的扩展,也是形式概念分析与区间集理论相结合的产物。区间集概念所反映的是人类认知的动态描述,它比形式概念更复杂,而在此基础上形成的区间集
期刊
形式概念分析
区间集
区间集概念格
构造
formal concept analysis interval set interval set concept l
科技与外经贸联动发展的几点思路
期刊
科技
对外贸易
中国
清华大学利用计算机检索档案
<正> 近两年来,清华大学档案室克服了工作多、人员少、无设备等困难,自己动手编制程序,建立卡片,充分利用本校其它系计算机的空闲时间,完成了程序调试工作并先后输入了几百张
期刊
计算机检索
空闲时间
程序调试
副校长
专题数据库
两台
电子打字机
专业设置
外国专家
经费开支
职业气度 独当一“棉”——COTTON USA举办2018中国职业装研讨会
职业装代表着企业特征、团队文化,并兼顾实用性、艺术性、标示性,被誉为"行走的名片"。在中国的发展历史并不长,但已从研究、开发、设计到生产、销售、使用形成了一个完整系统
期刊
美国棉花
职业装
中国
发展历史
完整系统
艺术性
标示
名片
与本文相关的学术论文