A Flexible Search Framework for CHR-Reference-Cited by-同舟云学术

A Flexible Search Framework for CHR

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

Author:

De Koninck Leslie,Schrijvers Tom,Demoen Bart

Publisher

Springer Berlin Heidelberg

Link

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

Reference39 articles.

1. Lecture Notes in Computer Science;S. Abdennadher,1997

2. Abdennadher, S.: A language for experimenting with declarative paradigms. In: 2nd Workshop on Rule-Based Constraint Reasoning and Programming (2000)

3. Abdennadher, S.: Rule Based Constraint Programming: Theory and Practice. Habilitation, Institut für Informatik, Ludwig-Maximilians-Universität München (2001)

4. Abdennadher, S., Krämer, E., Saft, M., Schmauss, M.: JACK: A Java constraint kit. Electronic Notes in Theoretical Computer Science, vol. 64 (2002)

5. Lecture Notes in Computer Science;S. Abdennadher,1998

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

1. Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity;Fundamenta Informaticae;2020-03-31

2. A compiler architecture for domain-specific type error diagnosis;Open Computer Science;2019-02-14

3. Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms;Logic-Based Program Synthesis and Transformation;2018

4. Exhaustive Execution of CHR Through Source-to-Source Transformation;Logic-Based Program Synthesis and Transformation;2015

5. On the Portability of Prolog Applications;Practical Aspects of Declarative Languages;2011