CCHR: the fastest CHR implementation
| Venue: | in C,” in Proc. 4th Workshop on Constraint Handling Rules (CHR’07), 2007 |
| Citations: | 8 - 4 self |
BibTeX
@INPROCEEDINGS{Wuille_cchr:the,
author = {Pieter Wuille and Tom Schrijvers and Bart Demoen},
title = {CCHR: the fastest CHR implementation},
booktitle = {in C,” in Proc. 4th Workshop on Constraint Handling Rules (CHR’07), 2007},
year = {},
pages = {123--137}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. CHR is usually compiled to high-level languages (like Prolog) that make it hard or impossible to express low-level optimizations. This is a pity, because it confines CHR to be a prototyping language only, with an unacceptable performance for production quality software. This paper presents CCHR, a CHR system embedded in the C programming language, that compiles to low-level C code which is highly suitable for fine-grained performance improvements. In this way CCHR program performance comes close to matching that of native C, and easily outperforms other CHR implementations. 1
