一个类Java语言的指称语义

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:swqsswqs19760308
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章提出了一个简化的Java语言SimpleJ并给出了此语言的指称语义。SimpleJ是一个简单的面向对象语言,具有Java语言的基本语义特点,该文通过对SimpleJ语言的语义域和语义方程的刻画和描述,讨论了以对象类型和异常语句为主的Java语言的语义特征。
其他文献
90年代以来,随着计算机技术的发展,对于Agent的研究已经成为分布式人工智能领域的一个热点,基于Multi-Agent的分布式智能系统已成功地应用于众多领域。该文将Multi-Agent技术应
论文针对强噪音环境提出一种PZT振动拾音器作为语音识别的前端输入。在同步采样前提下,比较了其信号与麦克风信号在时、频域上抗噪声性能上的差异。为弥补部分语音信息的丢失,
大学毕业生今年的签约率是76%,尚有约50万的毕业生没有找到工作。这事,社会急,教育部门急,大学生也急;学校有怨言,大学生也有怨言。学校说:“大学生平时不忙专业忙‘副业’”,
期刊
文章建立了实时中间件OPC服务器的实时调度模型,设计了处理混合任务的动态调度算法(基于EDF)和实现方式,分析了算法的可调度性和非周期任务的响应性能及参数设计,并给出了相应的
1945年11月,辽宁部队在庆祝苏联十月革命28周年纪念大会上,主持人宣布:"请李隆郅同志作报告。"只见一个瘦高个中年人接过话筒就讲开了。当讲到李立三"左"倾冒险主义的错误时,
期刊
论文提出了基于Web的数控加工几何仿真系统体系结构,该体系结构具有可扩展性、交互性、动态性,能够很好地满足基于Web的数控加工几何仿真的要求,并以数控弯管过程为例,采用VRML、
地图匹配是车辆导航系统中最重要的部分。该文通过对车辆组合定位过程中的匹配方式进行具体分析,得到了通过预测进行有效匹配的方法。该方法利用前一时刻自车的匹配信息和当前的传感器数据来预测下一时刻的自车匹配信息,较好地解决了匹配过程中车辆到不到node点和ShapeLink点的判定问题,同时也解决了匹配中找到正确的当前ShapeLink问题。在车辆组合定位系统中实际运用该模型取得了很好的效果。
指在纳米尺度(0.1mn至·100nm)上研究物质的特性和相互作用,以及利用这些特性的科学。主要包括纳米生物学、纳米机械学、纳米化学、纳米材料学、原子/分子操纵和表征学、
期刊
谈康德的实践理论,不能不谈及他那本著名的《实践理性批判》,这里的“实践理性”体现为意志,即受控理性的欲望具有一贯性,这种受控理性的一贯性体现着最高的善,如果被上升全
期刊
该文在前人的工作基础上提出了在压缩域MPEG-2到H.263码流transcoding的通用框架,并进行了深入的分析和优化。这种优化的目标是,在实现视频流格式转换和瘦化的同时能够最大程度