盎司

Oz是一种结合了约束推理和并发的高级编程语言。典型的用户布局、智能体布局和应用程序优化等领域,包括复杂的用户布局、智能体布局和智能体优化等。Oz是动态类型的,有一流的过程、类、对象、异常和顺序线程通过约束存储进行同步。它支持有限域和特征约束,并具有强大的原语,可在较高层次上编程约束推理机。


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

显示第1到第1个结果,共113个。
按年份排序(引用)
  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. 彼得·霍尔茨(Peter Wucket,2013年;彼得·霍尔塔克(Peter Wucket)搜索;彼得·霍尔塔克出版社(Combinator Stukey,2013年;彼得·施图尔茨(Peter Stukey,Stujquers;2013年)
  10. Gorlin,Andrey;Ramakrishnan,C.R.;Smolka,Scott A.:概率表逻辑编程的模型检验(2012)
  11. 洛佩斯,里卡多;科斯塔,维托尔桑托斯;席尔瓦,费尔南多:扩展安道尔模式的设计与实施(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-oz.org/papers/