盎司

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


ZBMaCT中的参考文献(113篇文章中引用)

显示结果1至20的113。
按年份排序(引文
  1. Nguembang Fadja,阿尔诺;RiuuZi,法布里齐奥:提升概率逻辑程序的判别学习(2019)
  2. 拜尔,Dirk;Gulwani,SUMIT;施密特,David A.:模型检验与数据流分析相结合(2018)
  3. Van Cauwelaert,Sascha;隆巴尔迪,米歇尔;肖斯,彼埃尔:全球约束在实践中有多有效?一个公平的实验框架(2018)
  4. 米歇尔,L;Van Hentenryck,P.:约束编程的微内核体系结构(2017)
  5. RiuuZi,法布里齐奥:具有函数符号的正常程序的分布语义(2016)
  6. Iser,Markus;曼尼,诺伯特;辛茨,卡斯滕:CNF公式中嵌套门的识别(2015)
  7. Hanus,米迦勒:功能逻辑程序设计:从理论到咖喱(2013)
  8. Olarte,卡洛斯;鲁埃达,CAMILO;瓦伦西亚,Frank D.:并发约束编程的模型和发展趋势(2013)
  9. 施里夫斯,汤姆;塔克,圭多;Pieter,Samulowitz,霍斯特;Stuckey,Peter J.:搜索组合器(2013)
  10. Gorlin,安德烈;RAMACRISHHANN,C. R.;Smolka,Scott A.:概率表逻辑规划模型检验(2012)
  11. Lopes,李嘉图;Costa,Vior Stotos;席尔瓦,费尔南多:扩展的安道尔模型的设计与实现(2012)
  12. Hosobe,Hiroshi;Satoh,肯;马,Jiefei;俄罗斯人,Alessandra;布罗达,Krysia:分层代理的投机约束处理(2010)
  13. Prige,丹尼尔;Leuschel,米迦勒:一次七:在B、Z、CSP和更多(2010)中对高级规范的LTL模型检查伊波尔特
  14. Schlich,巴斯琴;Kowalewski,斯特凡:嵌入式系统C源代码模型检查(2009)伊波尔特
  15. 巴斯米,Maria Grazia;蒙塔纳里,乌戈:基于约束的程序设计范式综述(2008)
  16. Leuschel,米迦勒;巴特勒,米迦勒:PROB:B方法的自动化分析工具集(2008)伊波尔特
  17. 小曼奇尼,托妮;Maalelto,Davide;Patrizi,法比奥;卡多利,马珂:CSPIB(2008)上的ASP和商业求解器的评价
  18. BRA,贝尔恩德:解释函数逻辑计算痕迹的框架(2007)
  19. L·Pez Fracuas,Francisco J.;Rodr Guez Atalejo,马里奥;Del-VADO-ViReSdDA,拉斐尔:一个新的具有约束的函数逻辑程序的通用方案(2007)
  20. 聂赫伦,约阿希姆;Sabel,戴维;Schmidt Schau,曼弗雷德;施温哈默,简:参考细胞和期货并发LAMBDA演算的观测语义学(2007)

进一步的出版物可以在:HTTP://www. MasART-OZ.Org/Posis/