A Structural Operational Semantics for an Edison Like Language(2)

来源 :Journal of Computer Science and Technology | 被引量 : 0次 | 上传用户:lihai_feng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
3.Operational SemanticsIn this section we give an operational semantics for Edison.1.In contrast to the staticsemantics,the operational semantics is sometimes called dynamic semantics.Successful research in the denotational approach tells us that to construct asemantics for a language including declarations of entities such as variables,proceduresand modules,it is necessary to:Ⅰ.Distinguish the denotable values(locations,procedure and module abstractions)from the storable values(truth values,natural numbers and files).2.Separate the concepts of store(mapping locations to storable values)and 3.OperationalSemanticsIn this section we give an operational semantics for Edison.1. In contrast to the staticsemantics, the operational semantics is still called dynamic semantics.Successful research in the denotational approach tells us that to construct asemantics for a language including declarations of entities such as variables, procedures and modules, it is necessary to: I. distinguished the denotable values ​​(locations, procedure and module abstractions) from the storable values ​​(truth values, natural numbers and files) .2.Separate the concepts of store to storable values) and
其他文献
阵列处理机(ARRAY PROCESSOR)连接在不同的主机上(VAX11/780,PE3284等)可使其处理能力提高十几倍,达到小型机的价格,大型机的功能。这种新机型推出后已有几个台用于不同的用
本文论述了TP-86A(CPU为8086)单板机与IBM-PC或其兼容机之间在中断方式下的全双工串行异步通讯。通过这种机间通讯可以实现单板机与微机系统的资源共享,从而可大大扩展单板机
自本刊1987年第5期载出笔者的《TP801-8031/8035开发装置介绍》一文后,收到全国很多读者来信,希望能介绍更详细一些,现就来信中涉及的几个主要问题综述如下。一、硬件资源的
The Chinese Computer Federation(CCF,for short)was founded in March 5,1985.The predecessor of CCF is the Chinese Computer Society,one of the branch organization
为使 APPLE 机成为 Z80系列单板机的辅助开发工具,就要为其配备通讯、交叉汇编、交叉反汇编等应用软件。本文中 Z80交叉反汇编正是在此背景下开发的。它采用6502汇编语言实现
全球最大的网络计算机系统制造商美国DEC计算机有限公司宣布,1986年12月27日截止的1987财政年度之第二季度,营业额及收益均大幅度增长。DEC公司在本年度第二季的总营业额为2
随着社会经济与科学技术的发展进步,交通运输业也得到了很大的发展,而对于桥梁施工质量也有着更多的需求。桥梁施工的过程中并不存在很大的技术难度,但因为施工场地较小,而具
考虑到高地做为整个亚洲季风带新垦区的不断增长的重要地位,迫切需要评价高地土壤性能不同状况的方法。这些方法并且应该是数量评价和实用的。用于本系列研究的样品征集自种
本信号用于外部设备,I/O脚上的数据有效,时序图见图59.读/写(R/)(SC_2) 此输出信号指示外设和存储器Mcu是否处在“读”态(高)或“写”态(低),通常情况下等待备用态是“ T
现代舞这一以对传统芭蕾的反叛而生发的舞蹈形式,拥有着多元的审美范畴,其从身体语言的诉说和动作的表现等方面均以反叛唯美主义为唯一审美准则,研究其背后独特的审美准则有