【摘 要】
：
程序设计自动化是计算机科学研究中的热点,也是软件工作者们追求的目标。抽象数据类型是一种新的、重要的程序设计方法,是程序设计自动化的重要手段。 本文对抽象数据类型的
【机 构】
：
武汉工业大学自动化系,武汉工业大学建工系430070,430070
论文部分内容阅读
程序设计自动化是计算机科学研究中的热点,也是软件工作者们追求的目标。抽象数据类型是一种新的、重要的程序设计方法,是程序设计自动化的重要手段。 本文对抽象数据类型的代数规格说明进行了讨论,并形式化的研究了代数规格说明。然后,针对现有抽象数据类型的实现方法,提出了一种抽象数据类型形式变换方法,思想是将用代数规格说明的抽象数据类型变换为一种特定的中间抽象数据类型MLIST的形式,规格说明简单的MLIST的最终实现可直接使用已有的各种方法和系统来完成。
其他文献
编辑点评:'房多多'频现引人注目,'限查房'严控颇受争议话题背景:2012年下半年以来,'房多多'被频频曝光,数名贪官被拉下马。于是,不少网民将房产信息
糖尿病作为一种慢性疾病严重威胁患者健康及生活质量,属中医学消渴范畴,早在〈黄帝内经〉就已有所论述.2009-04-2012-04,笔者在西医常规治疗基础上加用益气养阴中药治疗气阴
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的：观察枢经滞针疗法治疗慢性疲劳综合征的疗效。方法：将92例慢性疲劳综合征患者分为观察组和对照组，各46例，观察组施以枢经滞针疗法，对照组施以常规针刺疗法，两组均每日1次，每次3
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
改革开放40年,南通市利用外资同全国、全省对外开放的历程紧密相随,南通市对外开放的不断扩大和深化为我市利用外资创造了广阔的空间。当前,南通利用外资面临国际贸易摩擦的
以辅助跨文化交际,尤其是中美之间的文化交流为写作目的。依据爱德华.霍尔的高低语境理论,分析高低语境文化中迥异的人际交往模式,接着在导向、思维模式和对于群体的认同等方
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
有数据显示，我国90％的60岁以上男性患有不同程度的前列腺疾病。随着人口的老龄化，前列腺增生症的发病率呈逐渐增多的趋势。前列腺癌作为男性最常见的恶性肿瘤之一，已成为泌尿系统