T. Fruhwirth, Introducing Simplification Rules, Technical Report ECRC-LP-63, ECRC Munich, Germany, October 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Join Evaluation Schemata for Constraint Handling Rules (CHR) - Holzbaur, Frühwirth (1998) (Correct)
....iteration and retrieval mechanism over the constraint store, a data structure holding constraints. CHR are typically realized as a library containing a compiler, runtime system and solvers written in CHR. The first implementation of CHR in 1991 was an interpreter written in ECL i PS e Prolog [Fru91], followed by several reimplementations and improvements, the last one being [FrBr95a] Similar translations, i.e. compilation of committed choice languages, have been investigated before, be it translating GHC [UeCh85] implementations of delay declarations [Nai85] or the efficient implementation ....
T. Fruhwirth, Introducing Simplification Rules, Technical Report ECRCLP -63, ECRC Munich, Germany, October 1991.
Compiling Constraint Handling Rules - Holzbaur, Frühwirth (1998) (3 citations) Self-citation (Fruhwirth) (Correct)
....assembler programming. If there already is a powerful constraint assembler, one may wonder what an associated high level language could look like. Our proposal is a declarative language extension especially designed for writing constraint solvers, called constraint handling rules (CHR) [Fru91, FrBr95a, FrBr95b, Fru98, FAM98, HoFr98]. With CHR, one can introduce user defined constraints into a given high level host language, be it Prolog or Lisp. As language extension, CHR themselves are only concerned with constraints, all auxiliary computations are performed in the host language. CHR have been used in dozens of projects ....
....and a special purpose CHR constraint debugger together with a rich but not overwhelming set of built ins, options and pragmas. The release also includes more than 25 constraint solvers written in CHR. The first implementation of CHR in 1991 was an interpreter written in ECL i PS e Prolog [Fru91]. Then, the CHR language has been implemented in 1993 in Common LISP at the German Research Institute for Artificial Intelligence (DFKI) Her93] and in 1994 as a library of ECL i PS e [FrBr95a, FrBr95b] CHR are currently also implemented in the successor language ECL i PS e 2 at IC Parc ....
T. Fruhwirth, Introducing Simplification Rules, Technical Report ECRC-LP-63, ECRC Munich, Germany, October 1991.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC