软件搜索-zbMATH Open

兽人

swMATH ID:	7311
软件作者：	大卫·基钦（David Kitchin）；阿德里安·夸克（Adrian Quark）；威廉·库克；贾亚德夫·米斯拉
描述：	兽人编程语言。Orc最初是作为过程演算提出的。它现在已经发展成为一种完整的编程语言，我们在本文中对此进行了描述。该语言具有函数式编程语言的结构和感觉，但它有效地处理了许多非函数性方面，包括并发线程的生成、超时和可变状态。我们首先描述了进程演算的原始并发组合子。接下来，我们将描述一种小型函数式编程语言，它构成了核心语言。然后我们展示了进程演算和函数核心语言的并发组合是如何无缝集成的。生成的语言及其支持库在描述典型并发计算方面已证明非常有效；我们演示了如何在Orc中轻松解决几个实际的并发编程问题。
主页：	http://rd.springer.com/chapter/10.1007/978-3642-02138-1_1
相关软件：	奶牛；莫德；朱莉；快速排序；距离-弧度；BPEL2oWFN型；爪哇风扇；里奥；卢斯特；伊莎贝尔/HOL；伊萨尔；PVM公司；PVS公司；伊莎贝尔/伊萨尔；琳达；SLMC公司；火花；JSFlow公司；F类*；乱涂
引用于：	15文件

1出版物描述软件，包括1出版物以zbMATH为单位	年份
兽人编程语言。 Zbl 1217.68049号大卫·基钦；Quark，阿德里安；威廉·库克；贾亚德夫·米斯拉	2009

2	约阿金·加巴罗
2	何继峰
2	大卫·基钦
2	李，秦
2	何塞·梅塞盖尔·瓜伊塔
2	贾亚德夫·米斯拉
2	Quark，阿德里安
2	朱慧彪
1	Abreu Jünior，Joáo Carlos
1	穆萨布·A·阿尔图尔基。
1	马西莫·巴托莱蒂
1	曼弗雷德·布罗伊
1	杰兹·布热津斯基
1	伊利亚州卡斯特拉尼
1	威廉·库克。
1	Gianpaolo Cugola公司
1	Deniélou、Pierre-Malo
1	马里亚纽拉州Dezani-Ciancaglini
1	达里奥什·德沃尼科夫斯基
1	亚历山德罗·范特奇
1	JoséLuiz Fiadeiro
1	艾琳娜·加西亚
1	卡洛·盖齐
1	西尔维娅·吉勒赞
1	维维安·乔克斯
1	安东尼·基南
1	洛佩斯，安东尼亚
1	乔纳森·米乔克斯
1	伊利·纳伊姆
1	约万卡·潘托维奇
1	佩雷斯（Jorge A.Pérez）。
1	菲利普斯，E。
1	Pinto，Leandro销售
1	格里高·罗什乌
1	塞尔娜·伊格莱西亚斯（Serna Iglesias）、玛丽亚·何塞（Maria José）
1	艾伦·斯图尔特
1	安德烈·斯特罗因斯基
1	彼得·蒂曼。
1	伯纳多·托尼霍
1	范德斯特雷顿（Van der Straeten，Ragnhild）
1	雨果·托雷斯·维埃拉
1	赵永新