伊夫·卡索;弗朗索瓦·萨维耶·约塞特;弗朗索瓦·拉伯特 克莱尔：将集合、搜索和规则结合起来，以更好地表达算法。 （英语） Zbl 1105.68339号 理论与实践。日志。程序。 2，第6期，769-805（2002）. 摘要：本文介绍了一种编程语言，它将通常与声明性语言（如集合、规则和搜索）相关的范例包含到命令（函数）语言中。尽管这些范式是单独众所周知的，并且在各种编程环境下都可以使用，但CLAIRE语言的独创性来自于紧密的集成，它产生了有趣的运行时性能，以及这种组合的丰富性，这就产生了新的方法，用很少的优雅线条来表达复杂的算法模式。为了实现高抽象级别（简洁性和可读性）和运行时性能（CLAIRE用作C++预处理器）的相反目标，我们开发了两种编译器：首先，模式预处理器处理具体和抽象集（数据类型和程序片段）上的迭代，以完全用户扩展的方式；其次，推理编译器将一组逻辑规则转换为一组函数（通过过程附件使用的demon）。 引用于7文件 MSC公司： 第68页第10页 搜索和排序 68周05 非数值算法 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：面向对象语言 软件：欧兹;克莱尔;SALSA公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.Caseau}等人，《理论与实践》。日志。程序。2，第6号，769--805（2002；Zbl 1105.68339） 全文： 内政部