【摘 要】
：
本文继[1]的工作之后,在泛函编程体裁,逻辑编程体裁与集合论编程体裁的基础上,再融入一种编程体裁——状态转移体裁。设计了状态转移编程体裁语法的基本部分;讨论了具此四种
【机 构】
：
电子科技大学,电子科技大学成都,成都
论文部分内容阅读
本文继[1]的工作之后,在泛函编程体裁,逻辑编程体裁与集合论编程体裁的基础上,再融入一种编程体裁——状态转移体裁。设计了状态转移编程体裁语法的基本部分;讨论了具此四种体裁(泛函,逻辑,集合论,状态转移)的语言(Lyusia的主体)的操作语义学。并且,阐明了状态转移编程体裁与基于法则(rule-based)编程体裁的关系,状态转移编程体裁与(面向对象编程语言中的)“属性/性能(attributes contained in behavior)”格律的关系。
其他文献
本文在介绍Occam语言的基础上,重点论述了如何在Transputer开发系统TDS上,用Occam语言进行并行程序设计,并指出TDS 2.0版的不足之处。
本文以PC-FAX系统为环境,介绍了在半双工多速率信道中实现的文件传输系统的特点;研究并用实际系统测试了选择重传与逐帧应答规程在半双工信道上的效率。结果是,前者的效率为
目的观察中西医结合治疗乙肝相关性肾炎的临床疗效。方法56例乙肝相关性肾炎患者随机分为观察组与对照组各28例，对照组患者采用西药治疗，观察组患者在此基础上加服中药。结果治
个别谈话是我们高校学生思想政治工作经常使用的一个重要方式，这种方式能使我们的工作对象情绪松弛，便于交流，有较强的针对性，效果明显。青年学生正处于自我意识形成发展的重要时
本文讨论MDS/DOS中通信机制的设计思想与实现方法,内容包括通信系统模型、通信协议、信箱通信方式、消息缓冲栈通信方式、报文分组以及报文的发送与接收等。
<正> 在VLSI设计领域,CAE(Computer Aided Engincering)已成为一个基本的设计工具。在设计过程的诸个环节中,电路分析(又称电路模拟)是相当耗时的工作之一。有人做过估计:CAE
学校作为推普基础，应适应新形势的要求，进一步发挥先行和表率作用。本文对此进行了阐述。
汉字代码的压缩和检索方法是输入法软件编程的一部分。本文通过介绍一种优化的压缩与检索方法,探讨汉字输入法中代码压缩和检索的技术问题。
著名文艺理论家、散文家许怀中曾说:“未到过闽西老区的人,想象中也许是片荒山秃岭、土瘠河瘦,没有什么风光的‘红土地’。其实不然,如果你读了元丰郡守陈公轩的诗,才知道那
随着数据库的广泛应用,通常使用的DBASEⅢ已不能满足要求,而SQL越来越显示出比DBASEⅢ优越的功能。早在1986年它已是ANSI标准,这里的一个实例是利用SQL的强大查询功能,支持知