As time goes by: constraint handling rules: a survey of CHR research from 1998 to 2007
Constraint Handling Rules (CHR) is a high-level programming language based on
multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint …
multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint …
Observable confluence for constraint handling rules
Abstract Constraint Handling Rules (CHR) are a powerful rule based language for
specifying constraint solvers. Critical for any rule based language is the notion of …
specifying constraint solvers. Critical for any rule based language is the notion of …
Optimizing Compilation and Computational Complexity of Constraint Handling Rules: Ph. D. Thesis Summary
J Sneyers - … : 25th International Conference, ICLP 2009, Pasadena …, 2009 - Springer
Abstract Constraint Handling Rules [1, 2] is a high-level programming language extension
based on multi-headed committed-choice multiset rewrite rules. It can be used as a stand …
based on multi-headed committed-choice multiset rewrite rules. It can be used as a stand …
Analysing graph transformation systems through constraint handling rules
F Raiser, T Frühwirth - Theory and Practice of Logic Programming, 2011 - cambridge.org
Graph transformation systems (GTS) and constraint handling rules (CHR) are non-
deterministic rule-based state transition systems. CHR is well known for its powerful …
deterministic rule-based state transition systems. CHR is well known for its powerful …
Graph transformation systems in constraint handling rules: improved methods for program analysis
F Raiser - 2016 - oparu.uni-ulm.de
Abstract Constraint Handling Rules (CHR) is a rule-and logic-based formalism and has
established itself as an active research topic. In contrast to other rule-based approaches …
established itself as an active research topic. In contrast to other rule-based approaches …
Web service publishing and composition based on monadic methods and program slicing
Y Zhang, W Fu, HKN Leung - Knowledge-Based Systems, 2013 - Elsevier
As the rapid development of web services, how to publish, discover and compose them in
open and dynamic network environment has become one of the most important challenges …
open and dynamic network environment has become one of the most important challenges …
[HTML][HTML] 一种基于余代数单子的Web 服务形式化模型
许碧欢, 钱俊彦, 张迎周, 陈蕾 - 南京航空航天大学学报, 2016 - jnuaa.nuaa.edu.cn
为拓展服务计算的形式化研究视野, 手段和方法, 建立并实现了一种针对Web
服务的服务计算形式化模型. 鉴于开放环境下的服务实体主要来源于不同的第三方提供者 …
服务的服务计算形式化模型. 鉴于开放环境下的服务实体主要来源于不同的第三方提供者 …
CHORD: constraint handling object-oriented rules with disjunctions
MAA Silva - 2009 - repositorio.ufpe.br
ABSTRACT The Constraint Handling Object-oriented Rules with Disjunctions (CHORD), is
an objectoriented (OO) extension for CHR∨, a relational rule based language that was …
an objectoriented (OO) extension for CHR∨, a relational rule based language that was …
Transactions in Constraint Handling Rules
T Schrijvers, M Sulzmann - International Conference on Logic …, 2008 - Springer
CHR is a highly concurrent language, and yet it is by no means a trivial task to write correct
concurrent CHR programs. We propose a new semantics for CHR, which allows specifying …
concurrent CHR programs. We propose a new semantics for CHR, which allows specifying …
Exhaustive execution of chr through source-to-source transformation
A Elsawy, A Zaki, S Abdennadher - … , UK, September 9-11, 2014. Revised …, 2015 - Springer
Abstract Constraint Handling Rules (CHR) is a committed-choice rule-based programming
language. Rules rewrite a global multi-set of constraints to another. Overlapping sets of …
language. Rules rewrite a global multi-set of constraints to another. Overlapping sets of …