克莱尔

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


zbMATH参考文献(参考,1标准件)

显示第1到第20个结果,共33个。
按年份排序(引用)
  1. Maher,Michael J.:扩展csp的局部一致性(2009)
  2. 阿泽维多,弗朗西斯科:红衣主教:有限集约束求解器(2007)
  3. Caseau,Yves:结合约束传播和元启发式搜索最大权哈密顿链(2006)
  4. Simon de Givry;Jeannin,Laurent:约束编程中部分和混合搜索方法的统一框架(2006)
  5. Loudni,Samir;Boizumault,Patrice;David,Philippe:具有重路由的ATM网络的在线资源分配(2006)
  6. Vidal,Vincent;Geffner,Héctor:分支和修剪:基于约束规划的最优时态POCL规划器(2006)
  7. Thomas Bousonville,Thomas;Focacci,Filippo;Le Pape,Claude;Wim Nuijten;Paulin,Frederic;Puget,Jean-Francois;Robert,Anna;Sadeghin,Alireza:电厂功率运行中的规则和优化集成(2005)
  8. Huy Trandac;Philippe Baptiste;Vu Duong:有限制的空域划分(2005)
  9. 弗朗索瓦集合搜索算法;弗朗索瓦集合ioport公司
  10. Carlier,J.;Néron,E.:关于资源受限项目调度问题的线性下界。(2003年)
  11. de Moura,Francisco;de Azevedo,Castro Ascensã:多值逻辑上的约束求解——在数字电路中的应用。(2003年)
  12. Van Roy,Peter;Brand,Per;ducher,Denys;Haridi,Seif;Schulte,Christian;Henz,Martin:多路径编程环境下的逻辑编程:Oz体验(2003)
  13. Abdennadher,Slim;Krämer,Ekkerhard;Saft,Matthias;Schmauss,Matthias:JACK:Java约束工具包(2002)ioport公司
  14. Caseau,Yves;Josset,François Xavier;Laburthe,François:CLAIRE:组合集合、搜索和规则以更好地表达算法(2002)
  15. Schulte,Christian:编程约束服务。标准和新约束服务的高级规划(2002年)
  16. Apt,Krzysztof R.;Monfroy,Eric:约束编程被视为基于规则的编程(2001)
  17. Baptiste,Philippe;Le Pape,Claude;Nuijten,Wim:基于约束的调度:将约束编程应用于调度问题。(2001年)
  18. Caseau,Yves;Laburthe,François;Le Pape,Claude;Rottembourg,Benoît:在约束编程环境中结合局部和全局搜索(2001)
  19. 崔超和;亨兹,马丁;吴嘉文:树搜寻中的状态复原元件(2001)
  20. 胡振江;金维安;竹一,Masato:计算一种新的市场篮子分析数据挖掘算法(2001)