Sciweavers

ICLP
1999
Springer

CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms

14 years 3 months ago
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (functional) language. Although these paradigms are separately well-known and available under various programming environments, the originality of the CLAIRE language comes from the tight integration, which yields interesting run-time performances, and from the richness of this combination, which yields new ways to express complex algorithmic patterns with few elegant lines. To achieve the opposite goals of bstraction level (conciseness and readability) and run-time performance (CLAIRE is used as a C++ pre-processor), we have developed two kinds of compiler technology. First, a pattern pre-processor iterations over both concrete and abstract sets (data types and program fragments), in a completely user-extensible manner. Second, an inference compiler transforms a set of logical rules into a set of functions (demons...
Yves Caseau, François-Xavier Josset, Fran&c
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where ICLP
Authors Yves Caseau, François-Xavier Josset, François Laburthe
Comments (0)