π演算中的封装与动态模块化
摘要：一个描述过程演算的论文，其中包含了用于分布式环境中面向组件编程的高级构造。我们提出了一个扩展的高阶π演算，旨在捕获与基于组件的编程相关的几个重要机制，例如动态更新、重配置和代码迁移。在本文中，我们主要关注的是构建我们演算的分布式实现的可能性。因此，我们定义了一个低级演算，描述了高级构造的实现方式，以及运行时操作的数据结构的细节。我们还讨论了与基于组件编程的分析相关的当前和未来研究方向。
作者：Daniel Hirschkoff (LIP), Aur''elien Pardon (LIP), Tom Hirschowitz (LAMA), Samuel Hym (LIFL), Damien Pous (INRIA Rh^one-Alpes / LIG Laboratoire d'Informatique de Grenoble)
论文ID：0906.5446
分类：Programming Languages
分类简称：cs.PL
提交时间：2009-09-04