Constraint handling rules-Reference-Cited by-同舟云学术

Constraint handling rules

Published:1995 Issue: Volume: Page:90-107
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Frühwirth Thom

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-59155-9_6.pdf

Reference27 articles.

1. Andreoli J.-M. and Pareschi R., Linear Objects: Logical Processes with Built-In Inheritance, Seventh Intl Conf on Logic Programming MIT Press 1990, pp. 495–510.

2. P. Brisset et al., ECLiPSe 3.4 Extensions User Manual, ECRC Munich, Germany, July 1994.

3. Banatre J.-P., Coutant A. and Le Metayer D., A Parallel Machine for Multiset Transformation and its Programming Style, Future Generation Computer Systems 4:133–144, 1988.

4. Aiba A. et al, Constraint Logic Programming Language CAL, Int Conf on Fifth Generation Computer Systems, 1988, Ohmsha Publishers, Tokyo, pp. 263–276.

5. J. Cohen, A View of the Origins and Development of Prolog, CACM 31(1):26–36, Jan. 1988.

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

1. First-order ASP programs as CHR programs;Proceedings of the 36th Annual ACM Symposium on Applied Computing;2021-03-22

2. Quantified Constraint Handling Rules;Electronic Proceedings in Theoretical Computer Science;2019-09-19

3. On proving confluence modulo equivalence for Constraint Handling Rules;Formal Aspects of Computing;2017-01

4. On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities;Practical Aspects of Declarative Languages;2015

5. Securely Accessing Shared Resources with Concurrent Constraint Programming;Software Engineering and Formal Methods;2012