Language and System Support for Object-Oriented Programming

这项研究的预期结果是： o一种设计并发对象的方法， 传承 该方法有以下相关组成部分： 推理对象的可观察行为， 基于CCS的形式主义，使用新的 一种名为行为集的机制， 在使用基于MCC ESP的ACT++原型执行期间， 分布式面向对象内核。 o一个更成熟的技术，用于主动垃圾收集 对象 这项技术不仅满足了 ACT++也有助于其他系统和语言的基础上 并发对象或细粒度进程。 o第一次对基于并发对象的 语言 这项研究将采用一套共同的中等规模的 问题，并参与评估过程的领导成员 国际研究界。 增强的ACT++原型系统将提供给其他 研究人员

The anticipated results of this research are: o a methodology for designing concurrent objects that exploits inheritance. The methodology has related components for reasoning about the observable behavior of an object using a formalism based on CCS, expressing that behavior using a new mechanism named behavior sets, and guaranteeing that behavior during execution using the ACT++ prototype based on MCC's ESP distributed object-oriented kernel. o a more mature technology for the garbage collection of active objects. This technology serves not only the specific needs of ACT++ but also contributes to other systems and languages based on concurrent objects or fine-grain processes. o the first realistic comparative study of concurrent object-based languages. This study will employ a common set of medium-scale problems and involve in the evaluation process leading members of the international research community. The enhanced ACT++ prototype system will be made available to other researchers.