PELCR公司 swMATH ID: 20841 软件作者： 马可·佩奇尼（Marco Pedicini）；弗朗西斯科·夸利亚 描述： PELCR，用于优化lambda-calculus减少的并行环境。在本文中，我们给出了一个支持Lévy在并行（或分布式）计算系统上对λ-演算进行最优约简的环境的实现。在与Lamping的类似方法中，我们的工作基于一种称为定向虚拟还原的图还原技术，这实际上是Danos-Regnier虚拟还原的一种限制。我们称之为PELCR（最佳lambda-calculus还原的并行环境）的环境依赖于定向虚拟还原策略，即半燃烧。在开发PELCR时，我们采用了消息聚合技术，以减少通信开销，并采用了在处理器之间分配动态产生的负载的公平策略。我们还提供了一项实验研究，证明了PELCR在执行约简时明确利用λ项固有的并行性的能力。我们展示了PELCR如何实现70-80 主页： http://dl.acm.org/citation.cfm？id=1243996.1243997 相关软件： MPINE公司;PORGY公司;哈斯克尔 引用于： 4文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 PELCR：用于优化lambda-calculus减少的并行环境。 兹比尔1367.68053马可·佩奇尼;弗朗西斯科·夸利亚 2007 全部的 前5名6位作者引用 2 马可·佩奇尼 1 沃尔夫拉姆·卡尔 1 Anna Chiara Lai 1 马里奥广场 1 弗朗西斯科·夸利亚 1 马可·索列里 2篇连载文章中引用 2 MSCS公司。计算机科学中的数学结构 1 ACM计算逻辑事务 在2个字段中引用 4 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 按年份列出的引文