Eiffel语言3.0版本的语义

来源 :中山大学学报论丛 | 被引量 : 0次 | 上传用户:ncsjc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
采用VDM的指称语义元语言METAⅣ描述Eiffel语言3.0版本的语义.包括四个部分:①对原有的Eifel语法进行抽象,从而给出它的抽象文法.该抽象文法在保持原有语法风格的基础上,对原语法进行了一些适当修改.②描述Eifel语言的语景条件.它首先引入一些主要辅助域和主要辅助函数,然后给出各个语言成分的良构判定式.③定义对象模型、存贮空间和动态环境等语义域.④描述基于特征的各个语言成分的语义方程.
其他文献
掌声如潮,簇拥着身披绶带的贺宗琳走上讲台,代表荣获全省"十佳"的"再就业之星先进个人"在四川省委、省政府召开的全省表彰实施再就业工程"双十佳"电视电话会议上发言。这一刻
【正】 失业作为一种社会现象,不单单存在于资本主义制度,在社会主义制度下同样存在。重塑社会主义经济运行机制,就要打破传统的劳动就业体制,变我国长期的隐性失业为显性失
【正】 一、香港股票市场香港股票市场具有较长的历史。早在1866年,香港就有了股票市场。1891年,成立了第一个证券交易所,但其后发展缓慢,并经历了几度起落。香港股市发展的
【正】 金融宏观调控是指中央银行运用各种金融工具,调节有关变量,通过金融机构和金融市场影响企业经济活动和个人经济行为,从而实现经济均衡的最终目标,它是宏观经济调控系
【正】人民银行能否尽快实现职能转换,关键是职工队伍整体素质能否适应职能转换。因此,切实加强职工队伍建设,建设一支政治素质好,业务能力强,精通宏观管理与现代技术、德才
大连市职工医疗保险运行已有两年之余,这期间,经历过两个发展阶段。一个阶段是"三段通道式",即:社会统筹和个人帐户相结合,三段互为贯通,互为前提。无论门诊、住院花销费用,
南充市各类国有企业在资产重组,结构调整过程中,涉及到较多职工的下岗以及开展再就业服务问题。但是,再就业服务机构按照党中央、国务院的要求,对下岗职工进行托管,落实再就
【正】国库工作的基础在基层县支库.因此.县支库工作质量的高低是搞好国库工作的关键,加强县支库的管理问题值得认真探讨.现状县级国库工作经过多年的努力,已取得很大成绩,但
【正】 银行资产负债管理,是对银行资产业务和负债业务进行综合管理、协调的一种方法,讲究总量平衡,结构对称,从资产与负债的结合上来保证银行资金的安全性、流动性和盈利性,
【正】 党的十四大明确地提出了我国经济体制的目标是建立社会主义市场经济体制,经济金融形势将会发生一系列深刻的变化。作为代表国家管理金融事业重要手段的中央银行稽核监