克莱尔

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


zbMATH中的参考文献(参考文献34条,1标准件)

显示第1到第20个结果,共34个。
按年份排序(引用)
  1. Maximiliano Cristiá,Andrea Fois,Gianfranco Rossi:使用JSetL在Java中使用内涵集的声明性编程(2020)阿尔十四
  2. Maher,Michael J.:扩展csp的局部一致性(2009)
  3. 阿泽维多,弗朗西斯科:红衣主教:有限集约束求解器(2007)
  4. Caseau,Yves:结合约束传播和元启发式搜索最大权哈密顿链(2006)
  5. 迪吉夫里,西蒙;Jeannin,Laurent:约束编程中部分和混合搜索方法的统一框架(2006)
  6. 劳德尼,萨米尔;博伊祖莫尔特,帕特里斯;David,Philippe:具有重路由的ATM网络的在线资源分配(2006)
  7. 维达尔,文森特;Geffner,Héctor:分枝与剪枝:基于约束规划的最优时态POCL规划器(2006)
  8. 托马斯,布森维尔;福克奇,菲利波;勒帕普,克劳德;纽顿,维姆;波林,弗雷德里克;普吉,让·弗朗索瓦;罗伯特,安娜;Sadeghin,Alireza:Plant PowerOps中规则和优化的集成(2005)
  9. 特兰达,胡伊;巴普蒂斯特,菲利普;越南,越南:有限制的空域分区(2005)
  10. 卡索,伊夫;乔塞特,弗朗索瓦·泽维尔;拉伯特,弗朗索瓦:克莱尔:结合集合,搜索和规则来更好地表达算法(2004)ioport公司
  11. 卡莱尔,J。;资源受限项目调度问题的线性下界。(2003年)
  12. 德穆拉,旧金山;de Azevedo,Castro Ascensão:多值逻辑的约束求解——在数字电路中的应用。(2003年)
  13. 范罗伊,彼得;品牌,Per;公爵夫人,丹尼斯;哈里迪,赛义夫;舒尔特,基督徒;Henz,Martin:多路径编程环境下的逻辑编程:Oz经验(2003)
  14. Abdennadher,苗条;克鲁默,埃克哈德;萨夫特,马提亚斯;Schmauss,Matthias:JACK:a Java约束工具包(2002)ioport公司
  15. 卡索,伊夫;乔塞特,弗朗索瓦·泽维尔;拉伯特,弗朗索瓦:克莱尔:结合集合,搜索和规则来更好地表达算法(2002)
  16. Schulte,Christian:编程约束服务。标准和新约束服务的高级规划(2002年)
  17. 阿普特,Krzysztof R。;Monfroy,Eric:约束编程被视为基于规则的编程(2001)
  18. 巴普蒂斯特,菲利普;勒帕普,克劳德;基于约束的调度:将约束编程应用于调度问题。(2001年)
  19. 卡索,伊夫;拉伯特,弗朗索瓦;勒帕普,克劳德;Rottembourg,Benoît:在约束编程环境中结合局部和全局搜索(2001)
  20. 崔超和;亨兹,马丁;Ng,Ka Boon:树搜索中的状态恢复组件(2001)