兽人

Orc编程语言。Orc最初是作为一种过程微积分提出的。它现在已经发展成为一种完整的编程语言,我们将在本文中对此进行描述。该语言具有函数式编程语言的结构和感觉,但它可以有效地处理许多非功能性的方面,包括并发线程的生成、超时和可变状态。我们首先描述了过程演算的原始并发组合子。接下来,我们描述一种小型函数式编程语言,它构成了核心语言。然后我们展示了过程演算和函数核心语言的并发组合器是如何无缝集成的。所得到的语言及其支持库已被证明在描述典型的并发计算方面非常有效;我们演示了几个实际的并发编程问题在Orc中是如何容易解决的。


zbMATH中的参考文献(参考文献15条,1标准件)

显示第1到15个结果,共15个。
按年份排序(引用)

  1. 阿尔图尔基,穆萨布A。;Meseguer,José:Orc的可执行重写逻辑语义和Orc程序的形式化分析(2015)
  2. 巴托莱蒂,马西莫;卡斯特拉尼,伊利亚;丹尼·卢,皮埃尔·马洛;迪扎尼-西亚卡格里尼,马里安戈拉;吉莱赞,西尔维亚;潘托维奇,约万卡;佩雷斯,豪尔赫A。;蒂曼,彼得;托尼尼奥,贝尔纳多;维埃拉,雨果·托雷斯:将行为类型与安全分析相结合(2015)
  3. 达里乌斯,德沃尼科夫斯基;斯特罗林斯基,安德烈;Brzezinèski,Jerzy:走向REST的过程微积分:当前艺术状态(2015)
  4. 加巴罗,约金;加西亚,阿丽娜;Serna,Maria:不确定性配置文件的计算方面和天使守护者游戏(2014)
  5. 李、秦;赵永新;朱惠标;何继峰:具有执行状态和故障处理的Orc语言UTP语义模型(2014)
  6. 约拿单,米绍;乃吉母耳,以利;Fantechi,Alessandro:安全web服务编排的会话类型(2013)
  7. 飞利浦E。;范德斯特雷滕,R。;Jonckers,V.:NOW:使用专用工作流语言在游牧网络中编排服务(2013)
  8. 斯图尔特,艾伦;加巴罗,约金;Keenan,Anthony:关于使用部分正确性的web服务编排的推理(2013)
  9. 卡戈拉,詹保罗;盖兹,卡罗;Pinto,Leandro Sales:DSOL:自适应服务编排的声明性方法(2012)
  10. 菲亚迪罗,何塞;洛佩斯,安托尼亚;Abreu,João:面向服务交互的正式模型(2012)
  11. 菲亚迪罗,何塞·路易斯;洛佩斯,安托尼亚;劳拉博奇:服务发现和绑定的抽象模型(2011)ioport公司
  12. 梅斯盖尔,何塞;Roşu,Grigore:重写逻辑语义项目:进度报告(2011)
  13. 基钦,大卫;夸克,阿德里安;Misra,Jayadev:Quicksort:结合并发、递归和可变数据结构(2010)
  14. 李、秦;朱惠标;何继峰:《兽人语言指称语义模型》(2010)
  15. 基钦,大卫;夸克,阿德里安;库克,威廉;Misra,Jayadev:Orc编程语言(2009)