.png){kind=icon}
返回
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting
.png){kind=icon}
PRE
AI
DOI：10.1016/j.future.2004.05.006.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
BSMLlib库是用于使用函数式语言Objective Caml进行批量同步并行 (BSP) 编程的库。它基于lambda演算的扩展，通过对名为parallel vector的数据结构进行并行操作，该数据结构由意图给出。为了具有遵循BSP模型的执行，并且为了具有简单的成本模型，不允许并行向量的嵌套。本文的新颖之处在于防止这种嵌套的类型系统。这个系统是正确的w.r.t.动态语义。（c）2004 Elsevier B.V. 版权所有。
Keyword:
Bulk Synchronous Parallelism
functional programming
polymorphic type system
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
F
IF:
6.1
论文数:
6.9K
被引数:
2.3W
机构
暂无机构信息
.png){kind=icon}
