Ada语言的数据抽象方法

来源 :计算机应用与软件 | 被引量 : 1次 | 上传用户：speee

【摘要】

：

数据抽象方法已经成为软件系统设计和验证的极为有效的方法。近年来,抽象数据类型的形式说明得到了广泛的研究,本文在Hoare 说明抽象类型的公理方法的基础上,用Ada 的程序包定义了一个抽象数据类型的实例,并以此例讨论了抽象数据类型的正确性验证方法和步骤以及抽象类型的自动实现方法。

【作者】

：

庞万林

【出处】

：

计算机应用与软件

【发表日期】

：

1989年03期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

NITLISP语言通过鉴定

目前机电部召开的软件鉴定会上通过了东南大学研制的NITLISP语言。这种语言是以GCLISP语言为基础,再进一步加以扩充和改进而成,实现了汉化。该语言除保持了GCLISP

期刊

工科高等数学试题库系统研制成功

本试题库系统是在国家教委领导下,由西安交通大学、北京理工大学、华南理工大学和上海高校工科数学协作组四单位研制成功的,关于

期刊

计算机藏品管理系统软件简介

最近笔者已为南京博物院设计出实现了编目、查询、检索、统计、打印等项目自动化管理的计算机藏品管理系统软件,代替了传统的人工劳动,使现代科学进入了古老的博物院,实现了

期刊

简介一种用于打印机的绘图程序库

计算机自动绘图在事务管理,科学计算以及辅助设计等各个领域都起着重要作用。在不具备专用绘图设备的条件下,点阵式打印机也是一种较好的绘图工具。这方面的例子已有很多,但大

期刊

一种硬盘故障的修复方法

故障现象:一台IBM—PC/XT机,利用硬盘不能自举,但利用软盘启动机器后,关于硬盘的操作可以进行。不过,在读写时,常常出现:

期刊

区域土地利用现状调查微机管理系统及面积量算精度的研究

本文在前人研究的基础上对面积量算误差理论进行了拓新和深化提出了新的允许误差公式。最后,提出了一种建立区域土地利用现状调查的数据库系统的方案。

期刊

金矿勘探中应用井下地球物理资料的统计方法

一、引言通常,地球物理方法用来探测由于矿藏引起的围岩物性的明显变化。由于金的储存量通常较小,它的存在不影响周围岩体的物性,因此,在对这种金属的直接探测中地球物理方法不能被广泛地应用。不过,这种技术一直用来圈定有利于金矿成矿的伴生蚀变地带及其构造特征。一般来说,地球物理测井技术的应用应该考虑到不同岩石类型在测井特性上的急剧变化,还应考虑根据金矿存在的可能性对这些地区划分成若干带并进行描述。测井技术的

期刊

用于苏联境内岩石层研究的剪切波

本文收集了苏联境内数千公里三分向地震台测得的深地震测深剖面。结果表明,通常在井中或在水池中放炮不仅产生P波,而且也产生S波。产生这些波的最有利条件是在震源附近存在尖锐的地震界面,例如基底界面。一般说来,S波场中包括在P波场中见到的所有类型的反射波和折射波。其差别在于剪切波的频率较低,强度稍高,振幅变化较大。记录到S波时,可根据速度比V_P/V_S=γ随深度及横向变化关系获得重要信息,揭示出影响速度

期刊

状态空间启发式搜索技术在模式识别中的应用

本文分析综述了AI 中的状态空间启发式搜索(简记SSHS)技术在PR 中的应用问题。首先概述了SSHS 技术并注重介绍了SSHS 技术应用的关键——启发量的估计方法。然后综述了SSHS 技术在统计PR、结构PR 及图象处理中的应用成果,进一步分析了可以应用SSHS 技术的PR 问题所具有的特点,认为SSHS 技术可以作为统计PR 和结构PR之间的桥梁,构成统一的模式识别技术的重要组成部分。

期刊

分布计算机系统多版本并发控制算法

本文研究了分布系统多个结点的独立并发进程同时访问互斥区的多版本并发控制算法。每一个写进程对共享文件产生一个新版本,原来的版本则成为后备版本和过时版本。任何时候,每一个共享文件都可能有多个版本。算法保证并发读进程无冲突地并行访问互斥区,实现了读读并行,读写并行,提高了系统速度。多版本冗余技术提供了容错功能。

期刊

Ada语言的数据抽象方法

与本文相关的学术论文