盎司

Oz是一种结合了约束推理和并发的高级编程语言。Oz的典型应用领域包括优化问题,如调度、时间表、布局和配置、推理和知识表示、自然语言处理、仿真、多智能体系统和复杂的图形用户界面。Oz是动态类型的,有一流的过程、类、对象、异常和顺序线程通过约束存储进行同步。它支持有限域和特征约束,并具有强大的原语,可在较高层次上编程约束推理机。


zbMATH中的参考文献(参考文献115篇)

显示第1到第20个结果,共115个。
按年份排序(引用)
  1. 不,耶;Strichman,Ofer:使用最优算法组合实时解决计算困难问题(2021)
  2. Nguembang Fadja,阿诺;Riguzzi,Fabrizio:提升概率逻辑程序的区分学习(2019)
  3. 拜尔,德克;古尔瓦尼,苏米特;Schmidt,David A.:结合模型检查和数据流分析(2018)
  4. 戈林,安德烈;Ramakrishnan,C.R.:可分离的GPL:具有更多非确定性的可判定模型检验(2018)
  5. Van Cauwelaert,萨沙;伦巴第,米歇尔;Schaus,Pierre:全球约束在实践中的效率如何?公平实验框架(2018)
  6. 米歇尔,L。;Van Hentenryck,P.:约束编程的微内核架构(2017)
  7. Riguzzi,Fabrizio:带函数符号的正态程序的分布语义(2016)
  8. 伊瑟,马库斯;诺曼特,嘿;Sinz,Carsten:CNF公式中嵌套门的识别(2015)
  9. Hanus,Michael:函数逻辑编程:从理论到Curry(2013)
  10. 奥拉特,卡洛斯;鲁达,卡米洛;Valencia,Frank D.:并发约束编程的模型和新兴趋势(2013)
  11. 施里杰弗斯,汤姆;塔克,吉多;维尔,皮尔;萨穆洛维茨,霍斯特;Stuckey,Peter J.:搜索组合(2013)
  12. 戈林,安德烈;罗摩克里希南,C.R。;Smolka,Scott A.:概率表逻辑编程的模型检验(2012)
  13. 洛佩斯,里卡多;科斯塔,维托尔桑托斯;费尔南多·席尔瓦:扩展安道尔模式的设计与实施(2012)
  14. 和硕、弘石;佐藤,肯;马,杰飞;拉索,亚历山德拉;Broda,Krysia:层次代理的推测性约束处理(2010)
  15. 瘟疫,但以理;Leuschel,Michael:Seven at one stroke:LTL模型检查B、Z、CSP等的高级规范(2010)ioport公司
  16. 施利希,巴斯蒂安;Kowalewski,Stefan:嵌入式系统的模型检查C源代码(2009)ioport公司
  17. 布塞米,玛丽亚·格拉齐亚;Montanari,Ugo:基于约束的编程范式调查(2008)
  18. 鲁舍尔,迈克尔;巴特勒,迈克尔:Prob:B方法的自动分析工具集(2008)ioport公司
  19. 曼奇尼,托尼;戴维德,米卡莱托;帕特里齐,法比奥;马可·卡多利:在CSPLib上评估ASP和商业解决方案(2008)
  20. Braßel,Bernd:解释函数逻辑计算轨迹的框架(2007)

更多出版物请访问:http://www.mozart-oz.org/papers/