A Linear-Logic Semantics for Constraint Handling Rules-Reference-Cited by-同舟云学术

A Linear-Logic Semantics for Constraint Handling Rules

Published:2005 Issue: Volume: Page:137-151
ISSN:0302-9743
Container-title:Principles and Practice of Constraint Programming - CP 2005
language:
Short-container-title:

Author:

Betz Hariolf,Frühwirth Thom

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11564751_13

Reference14 articles.

1. Abdennadher, S., Frühwirth, T.: Essentials of constraint programming. Springer, Heidelberg (2003)

2. Abdennadher, S., Frühwirth, T., Meuss, H.: Confluence and semantics of constraint simplification rules. Constraints 4(2), 133–165 (1999)

3. Andreoli, J.-M., Pareschi, R.: LO and Behold! Concurrent Structured Processes. ACM SIGPLAN Notices, Proceedings OOPSLA/ECOOP 1990 25(10), 44–56 (1990)

4. Betz, H.: A Linear Logic Semantics for CHR, Master Thesis, University of Ulm (October 2004), www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/other/betzdipl.ps.gz

5. Bozzano, M., Delzanno, G., Martelli, M.: A Linear Logic Specification of Chimera. In: Proceedings of the DYNAMICS 1997, a satellite workshop of ILPS 1997 (1997)

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

1. An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules;ACM Transactions on Computational Logic;2018-09-18

2. Programming in logic without logic programming;Theory and Practice of Logic Programming;2016-03-16

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

4. A Linear Logic Programming Language for Concurrent Programming over Graph Structures;Theory and Practice of Logic Programming;2014-07

5. Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014