自动分发高阶同步数据流程序的类型系统
摘要：使用同步数据流编程语言来设计分布式系统。第一个贡献是扩展现有的同步数据流编程语言，引入原语，使其能描述分布式架构，并将一些表达式定位到某些处理器上。我们还提出了分布式语义来形式化同步程序的分布式执行。第二个贡献是提供类型系统，通过类型推断来推导非注释值的定位，并在编译时确保分布一致性。我们的第三个贡献是提供类型导向的投影操作，从集中式类型化程序自动获取每个计算资源执行的本地程序。类型系统和自动分布机制已在现有同步数据流编程语言的编译器中完全实现。
作者：Gwena"el Delaval (INRIA Grenoble Rh^one-Alpes / LIG Laboratoire d'Informatique de Grenoble), Alain Girault (INRIA Grenoble Rh^one-Alpes / LIG Laboratoire d'Informatique de Grenoble), Marc Pouzet (LRI)
论文ID：1211.2776
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-11-13