伊莎贝尔·阿塔利；丹尼斯·卡罗梅尔；陈永秀；让-吕克·高迪奥特；安德鲁·温德尔伯恩。 增强功能和不规则并行：有状态函数及其语义。 （英语） Zbl 0989.68085号 国际J并行程序。 29，第4期，433-460（2001）. 摘要：我们描述了一种在函数语言框架内表达状态计算的方法。我们考虑具有不确定性中间结果和确定性最终结果的算法，该结果是由并行任务之间共享的某个变量的任何中间值序列获得的，换句话说，变量更新的顺序无关紧要。函数式语言通常从显式同步中抽象出来，并利用变量的不同用法之间的并行性。但在某些情况下，我们可以通过并行性和确定性计算来放宽这一要求。为了提高这类重要问题的表达能力和效率，我们建议使用封装在有状态函数中的状态变量来扩展Sisal语言。我们使用了半人马来指定和构建基于语义的环境。我们通过对几个示例的分析以及与其他语言的比较来说明所提出的语言扩展。 引用于1文件 MSC公司： 第68季度55 计算理论中的语义学 关键词：函数式语言 软件：剑麻 PDF格式BibTeX公司 XML格式引用 \textit{I.Attali}等人，《国际并行程序》。29，第4号，433--460（2001；Zbl 0989.68085） 全文： 内政部