收藏本站
《江西师范大学》 2002年
收藏 | 手机打开
二维码
手机客户端打开本文

APLA组合数据类型的C++实现

蒋毅剑  
【摘要】: 随着科技进步和社会生产力的发展,计算机软件的重要性与日俱增,但至今软件产品仍普遍存在着可靠性难以确保,生产效率低等问题。由此,软件故障给人类造成的危害越来越大,软件产品的生产也远远满足不了人们的需要。如何快速高效地开发出具有高可靠性的软件系统,成为软件开发人员长期思考的问题,也是软件产业得以迅速发展的关键。 为了改变软件发展的现状,提高软件产品的可靠性,薛锦云教授在多个国家级课题的资助下提出了一种普遍适用的算法程序形式化开发方法——PAR方法,开辟了程序设计的新途径。 本文是PAR方法的重要组成部分,也是国家自然科学基金课题“实用的软件形式化方法及其开发工具研究”的重要内容。本项研究的主要目标是正确地实现APLA语言中的抽象数据类型,具体研究内容为: 1.对目前的程序设计方法(包括形式化方法和非形式化方法)进行分析研究,寻找一种合适的方法帮助我们正确地实现APLA语言中的抽象数据类型; 2.利用PAR方法,以自扩展的方式正确地实现APLA语言定义的抽象数据类型; 3.通过对泛型程序设计思想的研究,在我们构造的C++类库中引进了泛型程序机制,实现了APLA程序的类型参数化,同时也提高了C++类库的可重用程度; 4.通过大量测试用例(由APLA-C++转换器转换而来的C++程序)对所构造的C++类库进行了进一步测试。 本文还用PAR方法和上述的APLA-C++转换工具开发了一些算法。 利用PAR方法自扩展生成的C++类库与APLA-C++转换器共同组成具有高可靠性的APLA-C++自动转换系统,成功地转换了大量的实例,并得到了正确的结果。
【学位授予单位】:江西师范大学
【学位级别】:硕士
【学位授予年份】:2002
【分类号】:TP311.52

【相似文献】
中国期刊全文数据库 前10条
1 黄燕云;;汉字符号在书籍中的发展[J];大众文艺;2011年16期
2 刘润杰;申金媛;穆维新;;形式化开发非递归Koch曲线算法[J];计算机科学;2011年09期
3 王贵珍;陈英;刘庆晖;;形式语言中的几个算法问题[J];计算机教育;2011年14期
4 李博;;新闻特稿中的审美元素探析[J];青年文学家;2011年15期
5 ;娱乐串烧[J];电脑爱好者;2010年23期
6 阿稳;;R——不仅仅是一门语言[J];程序员;2010年08期
7 陈祖甲;;普及现代科技之巨擘——记计算机教育家谭浩强教授[J];金秋科苑;1995年02期
8 徐伟华;;C语言试题库系统的开发与实现[J];中国教育技术装备;2011年18期
9 蒙太奇;;最佳在线翻译也雷人[J];黄金时代(学生族);2009年12期
10 杨书卷;;“万能”方法的解决之道[J];科技导报;2011年19期
中国重要会议论文全文数据库 前10条
1 赵嫦虹;;现代日、汉语形容词的比较[A];外语语言教学研究——黑龙江省外国语学会第十一次学术年会论文集[C];1997年
2 张静;王静;陈英和;;语言对数字精确表征和近似表征的影响——一个双语学习研究[A];第十二届全国心理学学术大会论文摘要集[C];2009年
3 秦成军;;约翰·阿什贝利诗歌简论[A];福建省外国语文学会2009年年会暨学术研讨会论文集[C];2009年
4 林木森;;英汉词语互借对语言文化的影响[A];福建省外国语文学会2006年年会暨学术研讨会论文集(上)[C];2006年
5 楚爱聪;;语言学在心理护理中的作用[A];中国心理卫生协会石油石化分会成立暨第四届石油石化心理卫生学术研讨会论文集[C];2004年
6 张白白;郭渊;关志东;;基于PATRAN的复合材料结构低速冲击损伤模块开发研究[A];第十五届全国复合材料学术会议论文集(下册)[C];2008年
7 张良林;;语言中的不明推论[A];第四届全国认知语言学研讨会论文摘要汇编[C];2006年
8 张杰;;符号学王国的构建:语言的超越与超越的语言——巴赫金与洛特曼的符号学理论研究[A];终结与起点——新世纪外国文学研究[C];2002年
9 卿文光;;语言·思维与精神——依黑格尔精神概念看文化相对主义的批判[A];中西视野下的实践哲学与文化哲学全国外国哲学学术研讨会交流材料[C];2004年
10 李树荣;;换位思考让美好的语言和行为渗透患者的心灵[A];全国门急诊护理学术交流暨专题讲座会议论文汇编[C];2004年
中国重要报纸全文数据库 前10条
1 刘宁 淡凤 甄小燕;留学,跨过语言这道坎儿[N];中国教育报;2005年
2 李苹;批评孩子别用这些语言[N];河南科技报;2004年
3 潘耀昌 ;从绚丽走向典雅[N];美术报;2005年
4 陆志宙;让语言自己说话,我紧随其后[N];南方周末;2005年
5 本报记者 刘巍;我们说不同的语言[N];21世纪经济报道;2005年
6 ;建筑:城市的语言[N];中华建筑报;2005年
7 本报驻布鲁塞尔记者 梁晓华;欧洲开展“语言年”活动[N];光明日报;2001年
8 钱伟南;矫正孩子的语言偏激[N];卫生与生活报;2004年
9 李建军;提升官兵执勤语言交涉能力[N];人民武警;2003年
10 毛志成;评点“北京语言”[N];北京日报;2005年
中国博士学位论文全文数据库 前10条
1 郑晓松;技术与合理化[D];复旦大学;2005年
2 赵彬;挣脱文字梦魇后的舞蹈与歌唱[D];吉林大学;2005年
3 徐彦利;先锋叙事新探[D];山东大学;2005年
4 王昌树;海德格尔生存论美学思想研究[D];苏州大学;2007年
5 陈涛;包公戏研究[D];曲阜师范大学;2009年
6 郭吉军;思与忘[D];西北师范大学;2009年
7 张玉娟;“诗之思”:卡夫卡艺术世界的“图式”[D];华东师范大学;2007年
8 蒋邦芹;世界的构造[D];华中科技大学;2009年
9 何思源;壮族麽经布洛陀语言文化研究[D];中央民族大学;2007年
10 陈喜荣;加拿大女性主义翻译研究中的性别[D];上海外国语大学;2007年
中国硕士学位论文全文数据库 前10条
1 蒋毅剑;APLA组合数据类型的C++实现[D];江西师范大学;2002年
2 李欧美;文学世界的诗性品格[D];曲阜师范大学;2000年
3 曾晖;语言和语言学习本质对大学英语课堂教学方法的启示[D];西南师范大学;2000年
4 时秀娟;修辞中的偏离研究[D];曲阜师范大学;2002年
5 朱庆伟;论人性完善的语言维度[D];东北师范大学;2003年
6 白杨;“异常视角”的魅力[D];吉林大学;2005年
7 胡长玉;欧·亨利小说的创作手法初探[D];山东大学;2007年
8 王良彬;从浅唱低吟到泛着阵痛的独语[D];西南大学;2007年
9 刘升;新闻报道的批评性话语分析[D];中国石油大学;2007年
10 王丽君;中文菜名的不可译性研究[D];吉林大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026