收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

Ada语言的数据抽象方法

庞万林  
【摘要】:本文旨在通过 Ada 语言来介绍程序设计的数据抽象方法,以及用此方法构造的程序的正确性验证方法和步骤,并探讨了由规范到实体的可能的自动构造方法。首先介绍什么是抽象数据类型。然后用 Ada 语言的程序包定义一个实际的抽象数据——有界整数栈,同时还简要地介绍了 Ada 的程序包结构及其定义抽象数据的类型方式。第三部分介绍了正确性验证方法和步骤并给出了有界整数栈程序包的正确性证明。第四部分讨论了从规范到包体的自动实现方法,着重介绍从抽象说明推导具体说明的方法。最后指出数据抽象方法急待解决的一些问题。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 王振宇;;Ada程序包及其在系统程序设计中的应用[J];计算机科学;1982年05期
2 汪成为;浅谈崭露头角的Ada语言[J];系统工程与电子技术;1983年08期
3 B.A.Wichmann;徐宝文;;Pascal与Ada的比较[J];计算机科学;1984年02期
4 Jean D.Ichbiah;王翰虎;;论ADA的设计[J];计算机科学;1984年03期
5 潘龙翔;;JOVIAL语言与Ada语言的比较[J];火力与指挥控制;1985年04期
6 麦中凡;;Ada的过去、现在和将来——Ada主要设计者Jean Ichbiah访问记[J];计算机科学;1985年04期
7 任承邦;;Ada备忘录[J];计算机科学;1986年05期
8 张勇;;ANNA——一种新的支持渐进式软件范例的开发工具[J];计算技术与自动化;1987年01期
9 M.Brog;B.Krieg-Brüuckner;;第一讲 抽象数据类型[J];计算机科学;1987年05期
10 朱关铭,苗巍山;抽象数据类型的PROLOG实现[J];计算机工程;1988年01期
中国重要会议论文全文数据库 前4条
1 郑时雨;齐继光;;基于面向对象方法的决策支持系统[A];1994中国控制与决策学术年会论文集[C];1994年
2 王艳慧;陈军;蒋捷;李志林;;道路网多尺度数据建模的实体-关系分析[A];中国地理信息系统协会第三次代表大会暨第七届年会论文集[C];2003年
3 陈向东;陈娉娉;许亚玲;邹本杰;;基于Oracle的空间数据仓库构建与数据挖掘研究[A];2003年中国智能自动化会议论文集(下册)[C];2003年
4 李晓虹;李世奇;杨有;;C++中verylong的数据抽象分析和扩展[A];湖北省机械工程学会青年分会2006年年会暨第2届机械学院院长(系主任)会议论文集(下)[C];2006年
中国博士学位论文全文数据库 前3条
1 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
2 胡伟平;可扩展编译系统的关键技术研究[D];中国科学院研究生院(计算技术研究所);1998年
3 赵俊美;基于对象—关系模型的空间数据建模研究[D];中国地质大学(北京);2007年
中国硕士学位论文全文数据库 前10条
1 郑瀚;时空分析DBMS-STADBS的数据模型与存储机制的研究[D];南京航空航天大学;2002年
2 蒋毅剑;APLA组合数据类型的C++实现[D];江西师范大学;2002年
3 喻钢;可视化的对象-关系数据库原型系统—V-ORDBMS的解决方案[D];江西师范大学;2002年
4 张少平;基于结构化自然语言的算法规约研究[D];江西师范大学;2003年
5 杨淑群;PAR方法在数值计算中的应用研究[D];江西师范大学;2003年
6 蒋庆;新型管道—过滤器模式的研究及其应用[D];江西师范大学;2004年
7 王丽琴;基于Linux操作系统下的数据结构的模板类库[D];北京化工大学;2002年
8 郑淮阳;基于旅游地质资源的空间数据库建模分析[D];昆明理工大学;2005年
9 崔建军;空间数据操纵语言研究[D];长安大学;2005年
10 陈浩;GKD-Base PL/SQL引擎若干关键技术研究与实现[D];国防科学技术大学;2005年
中国重要报纸全文数据库 前2条
1 ;从Quicksort到程序设计语言的公理化[N];计算机世界;2000年
2 清华大学计算机科学与技术系 于敏 钟玉琢 田淑珍;“多媒体”攻陷数据库[N];网络世界;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978