×

兽人

swMATH标识: 7311
软件作者: 基钦,大卫;夸克,阿德里安;库克,威廉;米斯拉,贾亚德夫
说明: Orc编程语言。Orc最初是作为一种过程微积分提出的。它现在已经发展成为一种完整的编程语言,我们将在本文中对此进行描述。该语言具有函数式编程语言的结构和感觉,但它可以有效地处理许多非功能性的方面,包括并发线程的生成、超时和可变状态。我们首先描述了过程演算的原始并发组合子。接下来,我们描述一种小型函数式编程语言,它构成了核心语言。然后我们展示了过程演算和函数核心语言的并发组合器是如何无缝集成的。所得到的语言及其支持库已被证明在描述典型的并发计算方面非常有效;我们演示了几个实际的并发编程问题在Orc中是如何容易解决的。
主页: http://rd.springer.com/chapter/10.1007/978-3-642-02138-1_1
相关软件: 奶牛;莫德;朱莉;快速排序;距离兽人;BPEL2oWFN公司;爪哇凡;Isar;PVM公司;PVS公司;伊莎贝尔/伊萨尔;琳达;SLMC公司;JSFlow公司;F*;乱涂;Jif公司;流量凸轮;火花;SynchAADL2Maude公司
参考文献: 14种出版物

按年份引用出版物