【摘要】 为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算——安全有限容量演算.在新演算中,调整了2个能力,增加了3个能力(相当于动作)和2个余能力(余动作),并改进相应的归约语义,给出了安全有限容量演算的类型系统.该类型系统控制灰箱的移动性和线程数,并保证在计算过程中灰箱所拥有的资源数被静态地保持在其资源数范围内.更多还原

【Abstract】 There are some grave interferences in the calculus of bounded capacities(BoCa) , which can be baleful and can be considered as programming errors. In order to eliminate these grave interferences and to dominate the movement of resources, some BoCa primitives were modified. A new calculus, the safe bounded capacities (Safe BoCa) was proposed which modifies two capacities and adds three new capabilities and two new co-capabilities. The reduction semantics is modified accordingly. A type system for the Safe BoCa is given to control the mobility of ambients and the number of threads, and to guarantee that the intended capacity bounds are statically preserved throughout computation.更多还原