克莱尔

克莱尔:组合集合、搜索和规则来更好地表达算法、编程语言。本文提出了一种编程语言,它包括通常与声明语言(如集合、规则和搜索)相关联的范式,从而成为一种命令(功能)语言。虽然这些范式是众所周知的,并且在各种编程环境下都是可用的,但是克莱尔语言的独创性来自紧密集成,它产生有趣的运行时性能,并从这种组合的丰富性中产生新的方式来表达复杂的算法模式。很少有优雅的线条。为了实现高抽象级别(简洁性和可读性)和运行时性能(克莱尔被用作C++预处理器)的相反目标,我们开发了两种编译器:首先,模式预处理器在完全用户可扩展性上处理具体和抽象集合(数据类型和程序片段)上的迭代。其次,推理编译器将一组逻辑规则转换成一组函数(通过程序附件使用的恶魔)。


ZBMaX中的参考文献(33篇)1标准条款

显示结果1至20的33。
按年份排序(引文
  1. 马赫,Michael J.:扩展CSP的局部一致性(2009)
  2. Azevedo,弗朗西斯科:基数:一个有限集约束求解器(2007)
  3. Caseau,YVES:结合约束传播和元启发式搜索最大权值Hamiltonian链(2006)
  4. 西蒙,Jehanin,劳伦特:约束规划中部分和混合搜索方法的统一框架(2006)
  5. LoudNi,萨米尔;Boizumault,帕特利斯;戴维,菲利普:ATM网络重路由的资源分配(2006)
  6. 维达尔,Vincent;Geffner,HecCtoter:分支和修剪:基于约束规划的最优时间规划算法(2006)
  7. Bousonville,托马斯;FACACI,FLIPPO;勒庞,克劳德;Nuijten,WIM;Paulin,弗里德里克;PuGET,Jean Francois;罗伯特,Po.;AiReZZ:CopyPoopes中规则和优化的集成(2005)
  8. 于伊,巴普蒂斯特,菲利普,Duong,VU:带约束的空域扇区化(2005)
  9. Caseau,Yves;JoSeT,弗兰Couoo-沙维尔;Laburthe,弗兰Couoo:克莱尔:组合集合、搜索和规则来更好地表达算法(2004)伊波尔特
  10. Carlier,J.N.Reon,E.:关于资源受限项目调度问题的线性下界。(2003)
  11. de Moura,弗朗西斯科;de Azevedo,Castro Ascens:O:多值逻辑上的约束求解——在数字电路中的应用。(2003)
  12. Van Roy,彼得;品牌,Pukes;Dujier-Dunes;Haridi,SEIF;舒尔特,克里斯蒂安;Henz,马丁:多范式编程背景下的逻辑编程:OZ体验(2003)
  13. AbdnNADHER,SLIM;Kr,马蒂亚斯,施马斯,马蒂亚斯:杰克:Java约束工具包(2002)伊波尔特
  14. Caseau,Yves;JoSeT,弗兰Couoo-沙维尔;Laburthe,弗兰Couoo:克莱尔:组合集合、搜索和规则来更好地表达算法(2002)
  15. Schulte,克里斯蒂安:编程约束服务。标准和新约束服务的高级编程(2002)
  16. APT,Krzysztof R.;Monfroy,埃里克:约束编程被视为基于规则的编程(2001)
  17. 巴普蒂斯特,菲利普;勒帕普,克劳德;Nuijten,WIM:基于约束的调度:将约束规划应用于调度问题。(2001)
  18. Caseau,Yves;Laburthe,弗兰·Sooo.Le PaPe,克劳德;RoetBurg,Beoo.t:在约束编程环境中结合局部搜索和全局搜索(2001)
  19. Choi,Chiu Wo;Henz,马丁;NG,Ka Boon:树搜索中状态恢复的部件(2001)
  20. 胡,镇江;Chin,Wei Ngan;塔尅迟,MasAT:计算市场篮分析的一种新的数据挖掘算法(2001)