【摘 要】
：
近20年来人们研究和实现了许多语言的部分计值器,但是其中极大多数都是其于串行语言的,而这与并行语言是当今计算机科学主流的状况是不相称的,所以人们认为研究并行语言的部
论文部分内容阅读
近20年来人们研究和实现了许多语言的部分计值器,但是其中极大多数都是其于串行语言的,而这与并行语言是当今计算机科学主流的状况是不相称的,所以人们认为研究并行语言的部分计值理论是很有理论意义和应用价值.由于串行语言和并行语言之间,无论在操作语义还是在指标语义上都有巨大差异,因此研究人员提出一些方法来克服这些困难.其中最重要的是通道类型分析和通讯拓扑分析,通道类型分析是一种静态的方法来分析通道的类型和在程序运行过程中每个通道可能使用的最大次数,通讯拓扑分析是在程序运行过程中通道发生通讯的时序,通过这些分析人们可以得到精确的约束时间分析信息,以提高剩余程序的效率.研究人员在Lambda语言它是一种基于派生的面象对象语言.研究人员采用三步法来构造对象式Lambda语言的部分计值器:首先定义对象式Lambda语言的元解释器,并且证明了其正确性.其次提出了对象式Lambda演算的约束时间分析方法.最后定义了部分计算器,并证明了部分计算器的正确性.
其他文献
该文在介绍了网络管理系统和网络计费管理系统的基本概念和广泛使用的网络管理协议SNMP的基础上,讨论了网络计费管理系统设计的基本思想和若干关键技术,以及系统的总体设计方
随着计算机网络技术的不断成熟和迅猛发展，如何更合理、有效地利用有限的网络资源，逐渐成为网络运营者和Internet接入用户所共同关心的问题。网络的计费管理工作在整个网络运营
该文在对网络安全审计系统的发展与技术研究的基础上,着重分析与介绍了网络安全审计中智能分析与流量分析的算法与实现.在对网络安全需求了解的基础上,该课题分两个阶段进行.
该论文的背景是开发基于国产开放系统平台Cosa/Cosix的Java虚拟机CoJava,主要的工作是为CoJava开发了即时编译器,并参与虚拟机主体的实现.在第一章前言之后,对虚拟机的设计和
该文基于经济、灵活、对实现环境的要求低的原则对网络监测系统进行了一些研究,对网络管理和网络监测的概念、功能进行了详细论述,提出了基于简单网络管理协议SNMP和以太网的
如何设计和实现以普及输入为目的的汉语键盘输入方法是该研究的主要目标.该文的主要工作和成果如下:1.综述了现行输入技术(包括字编码输入方法、拼音词输入方法、连 续拼音语
公钥认证体系已逐渐成为网络信息安全系统的主流,以ITU-T X.509协议为证书标准 的PKI(Public key infrastructure公钥基础设施)体制是其代表,然而,由于PKI面对的一 个复杂的i
该文主要讨论X Window下的XIM(X Input Method)输入法协议的原理与实现机制,Microsoft Windows下的输入法IME(Input Method Editor)的原理和机制,以及如何将IME输入法移植到X
该文介绍了两个中间件:青鸟消息列和青鸟交易处理平台.前者为应用程序提供可靠的消息传递,并提供持久笥的消息存储,解决了联机交易处理中的通讯问题;后者利用消息队列提供的
该文介绍了国际编码标准MPEG-2的三个组成部分,并分别对各部分的编码、解码原理及解码实现作了较详细的论述.该文具体内容如下:第一章主要阐述MPEG-2系统部分的编码原理:首先