摘要
使用函数式语言书写的程序包含了稳式的并行性。由于表达式可以以任意次序计值，因此无需显式的并行结构来管理并行性，且可以非常方便地在并行计算机体系结构上实现，程序正确性的证明也相对简单。但一般说来在函数式语言并行实现过程中所开发的是细颗粒度的并行性，它的管理开销较大。本文在纯函数式语言Ｍｉｒａｎｄａ中引入两个并行进程构造子，它们的使用使得在粗颗粒度上管理并发进程的产生、执行、通讯、同步成为可能，从而提高了程序的执行效率。
CM is a concurrent functional language based on pure functional language Miranda. By incorporating two simple parallel process generators, CM can effectively deal with the generation, execution and synchronization of concurrent processes.
出处
《计算机工程与设计》
CSCD
北大核心
1994年第4期38-45,共8页
Computer Engineering and Design
