【摘 要】
：
目前面向对象技术在顺序式程序设计背景下得到了比较成熟的研究,但对于其在并发环境下的研究,仍存在着很大的挑战性.比如继承异常问题等等.以具体实现一个程序设计语言为目标
论文部分内容阅读
目前面向对象技术在顺序式程序设计背景下得到了比较成熟的研究,但对于其在并发环境下的研究,仍存在着很大的挑战性.比如继承异常问题等等.以具体实现一个程序设计语言为目标,作者首先对二层面向对象join演算的语法和语义设计做了改进.语法在某些方面得到了合理的简化,又在另一些方面得到了细节的具体化.对于上层class language的语义,作者同时考虑并测试了call-by-name和call-by-value这两种策略,并对两者各自的优劣进行了比较.最后,作者给出了一个新的语义描述.它以big-step的结构化操作语义的形式给出,更适合于指导实现工作.基于以上对语法和语义的改进工作,作者用Ocaml语言进行了原型实现.原型实现工作的过程为我积累了很多的经验,它们对今后的工作都很有参考价值,井启发作者得到了一个有关最终实现的框架建议.
其他文献
该文首先介绍了平面图的应用和发展、图的一些基本概念,图的表示以及画图的基本问题.然后介绍了无向图的一些平面性判定算法,如Kuratowski定理,D.M.P平面性判定算法等.在总结
人类,是一种重视沟通与表达的动物.自工业革命后,科技的发达使得通信技术有了突破性的发展,声音的传送已经无法满足现代人沟通的需求,立即且互动的影象更能真实地传送信息.视
该文详细阐述了卫星通信供稿系统的设计与实现过程.在传输实现中,供稿系统采用了基于IP的组播和带宽复用技术,可以在提高信道带宽的同时,最大效率地利用现有带宽资源,为将来
无线传感器网络（Wireless Sensor Network，WSN）受其自身特点和工作环境的影响，网络中节点的能量无法更换或补充，而能量是维持无线传感器网络正常工作最基本的条件，因此节能技术的研
该文介绍了中文大字符集字库管理技术中有关字库的组织、管理及应用相关的内容,讨论曲线轮廓汉字的制作、Hint信息的生成、字库的结构、管理、还原等若干技术问题,分析了中文
该文选择方兴未艾的万维网地理信息系统(WebGIS)作为研究方向,通过所开发的基于WebGIS的应用——矿业权网络图形信息发布系统,就如何充分依靠网络手段,针对国土资源主要涉及
作为新华社宽带网项目组成员,作者主要参加承建基于宽带网的视频会议系统和话音系统.在视频业务方面,该文设计出适合新华社业务要求的视频会议系统网络体系结构,对系统的时钟
CORBA（公共对象请求代理体系结构）是由对象管理组织（OMG）推出的中间件规范,是目前最具生命力的跨平台技术.它独立于网络协议、编程语言和软硬件平台,支持异构的分布式计算和不同
该文从网络的体系结构出发,首先讨论了ISO的OSI参考模型和TCP/IP网络模型,系统地回顾了IP组播网络的体系结构、典型组播路由算法及相关协议,总结了组播技术中的难点以及IP组
该文描述了基于OP通道的人-人交互与协作系统模型,并分析了系统对控制命令、音频、视频等信息的同步需求.结合基于OP通道的人-人交互与协作系统的特点,有针对性地提出了基于