CHR for Imperative Host Languages-Reference-Cited by-同舟云学术

CHR for Imperative Host Languages

Published:2008 Issue: Volume: Page:161-212
ISSN:0302-9743
Container-title:Constraint Handling Rules
language:
Short-container-title:

Author:

Van Weert Peter,Wuille Pieter,Schrijvers Tom,Demoen Bart

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-92243-8_7

Reference82 articles.

1. The Constraint Handling Rules (CHR) programming language homepage, http://www.cs.kuleuven.be/~dtai/projects/CHR/

2. Frühwirth, T.: Theory and practice of Constraint Handling Rules. J. Logic Programming, Special Issue on Constraint Logic Programming 37(1–3), 95–138 (1998)

3. Sneyers, J., Van Weert, P., Schrijvers, T., De Koninck, L.: As time goes by: Constraint Handling Rules — a survey of CHR research between 1998 and 2007. Journal of Theory and Practice of Logic Programming (submitted, 2008)

4. Holzbaur, C., Frühwirth, T.: A Prolog Constraint Handling Rules compiler and runtime system. In: [76], pp. 369–388

5. Schrijvers, T.: Analyses, optimizations and extensions of Constraint Handling Rules. Ph.D thesis, K.U.Leuven, Belgium (June 2005)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CHR++: An efficient CHR system in C++ with don’t know non-determinism;Expert Systems with Applications;2024-03

2. CHR.js: A CHR Implementation in JavaScript;Rules and Reasoning;2018

3. Constraint Handling Rules - What Else?;Rule Technologies: Foundations, Tools, and Applications;2015

4. Efficient Lazy Evaluation of Rule-Based Programs;IEEE Transactions on Knowledge and Data Engineering;2010-11