盎司

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


zbMATH参考文献(参考 113篇文章 引用)

显示113个结果中的1到20个。
按年份排序(引用)
  1. Ngumbang Fadja,Arnaud;Riguzzi,Fabrizio:提升概率逻辑程序的区分学习(2019)
  2. Beyer,Dirk;Gulwani,Sumit;Schmidt,David A.:结合模型检查和数据流分析(2018)
  3. Van Cauwelaert,Sascha;Lombardi,Michele;Schaus,Pierre:全球约束在实践中的效率如何?公平实验框架(2018)
  4. Michel,L.;Van Hentenryck,P.:约束编程的微内核架构(2017)
  5. Riguzzi,Fabrizio:带函数符号的正态程序的分布语义(2016)
  6. Iser,Markus;Manthey,Norbert;Sinz,Carsten:CNF公式中嵌套门的识别(2015)
  7. Hanus,Michael:函数逻辑编程:从理论到Curry(2013)
  8. Carlos Olate;Rueda,Camilo;Valencia,Frank D.:并发约束编程的模型和新兴趋势(2013)
  9. Tom Schrijvers;Tack,Guido;Wuille,Pieter;Samulowitz,Horst;Stuckey,Peter J.:搜索组合(2013)
  10. Gorlin,Andrey;Ramakrishnan,C.R.;Smolka,Scott A.:概率表逻辑编程的模型检验(2012)
  11. 费尔南多洛佩斯(2012年版)和《圣洛普设计》(2012年版)
  12. Hosobe,Hiroshi;Satoh,Ken;Ma,Jiefei;Russo,Alessandra;Broda,Krysia:层次代理的推测约束处理(2010)
  13. Daniel Plagge;Leuschel,Michael:Seven at one stroke:LTL模型检查B、Z、CSP等的高级规范(2010)ioport公司
  14. Schlich,Bastian;Kowalewski,Stefan:嵌入式系统的模型检查C源代码(2009)ioport公司
  15. Bussemi,Maria Grazia;Montanari,Ugo:基于约束的编程范式调查(2008)
  16. Leuschel,Michael;Butler,Michael:Prob:B方法的自动分析工具集(2008)ioport公司
  17. 曼奇尼,托尼;米卡莱托,戴维德;帕特里齐,法比奥;卡多利,马可:在CSPLib上评估ASP和商业解决方案(2008)
  18. Braßel,Bernd:解释函数逻辑计算轨迹的框架(2007)
  19. López Fraguas,Francisco J.;Rodríguez Artalejo,Mario;del Vado Vírseda,Rafael:带约束的函数逻辑程序设计的一种新的通用方案(2007)
  20. Niehren,Joachim;Sabel,David;Schmidt Schauß,Manfred;Schwinghammer,Jan:带有参考单元和未来的并发lambda演算的观察语义(2007)

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