论文部分内容阅读
缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的制约,本文设计了并发面向对象LISP语言COOLⅡ,给出了该语言的语法、基于配置的操作语义,并提出了并发对象演算CONOC,以此为基础讨论了COOLⅡ的变换语义.
并发面向对象语言COOLⅡ的语义模型
【摘 要】
：
缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的制约,本文设计了并发面向对象LISP语言COOLⅡ,给出了该语言的语法、基于配置的操作语义,并提出了并发对象演
【机 构】
：
武汉大学计算机科学及技术系,武汉大学国家多媒体软件工程技术研究中心
【出 处】
：
小型微型计算机系统
【发表日期】
：
2001年12期
【基金项目】
：
国家高技术研究发展计划(863计划)，高等学校博士学科点专项科研项目
其他文献
在非接触式新型测温仪中 ,借助吹风来消除光路中水蒸汽对辐射能的选择性吸收带来的测温误差 .本文利用喷流换热理论研究空气流体与铸坯的热交换过程 ,通过 ANSYS系统进行分析 ,确定风冷因素对测温误差的影响 ,进而在新型仪表的研制中用来校正吹风引起铸坯温降导致的测量误差
本文基于向量空间模型，提出了根据类别体系的层次结构，将特征项进行层次存储利用特征项所示的概念范畴的不同，以用户原始查询做进一步的扩展，文中详细介绍了用户查询扩展的方法，给
以SSR分子标记法分析尾叶桉（Eucalyptus urophylla）及其杂种间关系,采用改良CTAB法提取总DNA,同时优化提取方法和PCR扩增条件。从文献中选取尾叶桉100对SSR引物中筛选出多态性
脊髓灰质炎即小儿麻痹。是小儿急性传染病中预后很差的一种法定急性传染病。常常留下很难治愈的后遗症，终身残疾。故世界卫生组织提出要消灭脊髓灰质炎，以保证儿童健康。 1
美国法律制度完备，但并非无懈可击。批评家的言论不必说，就是电影人也可以对那些漏洞展开无限的想象，迎头痛击。刚刚出炉的电影《守法公民》，可以看作是一部惊悚片，如果你有细究公
针对制药废水的成分复杂,水质水量变化大、硫酸盐含量高等特点,本文通过采用目前常用的钡盐法进行探究。实验以六个不同生产商生产的钡盐为沉淀剂研究其在不同运行参数下对废
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
国家治理是一项国家核心的政治实践活动,国家治理现代化是当前我国面临的重大研究课题。为了更好地理解国家治理的实践发展脉络与历史成因,本文采取历史主义的分析视角,将中
本文介绍几种开采大型事务数据库中时序模式的几个典型算法,并对它们的效率进行比较分析.