兽人 swMATH ID: 7311 软件作者: 大卫·基钦(David Kitchin);阿德里安·夸克(Adrian Quark);威廉·库克;贾亚德夫·米斯拉 描述: 兽人编程语言。Orc最初是作为过程演算提出的。它现在已经发展成为一种完整的编程语言,我们在本文中对此进行了描述。该语言具有函数式编程语言的结构和感觉,但它有效地处理了许多非函数性方面,包括并发线程的生成、超时和可变状态。我们首先描述了进程演算的原始并发组合子。接下来,我们描述一种构成核心语言的小型函数式编程语言。然后我们展示了进程演算和函数核心语言的并发组合是如何无缝集成的。生成的语言及其支持库在描述典型并发计算方面已证明非常有效;我们演示了如何在Orc中轻松解决几个实际的并发编程问题。 主页: http://rd.springer.com/chapter/10.1007/978-3-642-02138-1_1 相关软件: 奶牛;莫德;朱莉;快速排序;距离-弧度;BPEL2oWFN型;爪哇风扇;里奥;卢斯特;伊莎贝尔/HOL;伊萨尔;PVM公司;PVS公司;伊莎贝尔/伊萨尔;琳达;SLMC公司;火花;JSFlow公司;F类*;可划线 引用于: 15文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 兽人编程语言。 Zbl 1217.68049号基钦,大卫;阿德里安·夸克;威廉·库克;贾亚德夫·米斯拉 2009 全部的 前5名42位作者引用 2 约阿金·加巴罗 2 何继峰 2 基钦,大卫 2 李,秦 2 何塞·梅塞盖尔·瓜伊塔 2 贾亚德夫·米斯拉 2 阿德里安·夸克 2 朱慧彪 1 Abreu Jünior,Joáo Carlos 1 穆萨布·A·阿尔图尔基。 1 马西莫·巴托莱蒂 1 曼弗雷德·布罗伊 1 杰兹·布热津斯基 1 伊利亚州卡斯特拉尼 1 威廉·库克。 1 Gianpaolo Cugola公司 1 德尼卢,皮埃尔·马洛 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 塞尔娜·伊格莱西亚斯,玛丽亚·何塞 1 艾伦·斯图尔特 1 安德烈·斯特罗因斯基 1 彼得·蒂曼。 1 伯纳多·托尼霍 1 范德斯特雷顿(Van der Straeten,Ragnhild) 1 雨果·托雷斯·维埃拉 1 赵永新 全部的 前5名9篇连载文章中引用 2 计算机程序设计科学 2 程序设计中的逻辑和代数方法杂志 1 计算 1 理论计算机科学 1 计算的形式方面 1 计算与决策科学基础 1 计算系统理论 1 逻辑与代数程序设计杂志 1 计算机科学前沿 在4个字段中引用 15 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文