A Linear-Logic Semantics for Constraint Handling Rules

A Linear-Logic Semantics for Constraint Handling Rules
复制标题

约束处理规则的线性逻辑语义

DOI：
--
复制
发表时间：
2005
期刊：
International Conference on Principles and Practice of Constraint Programming
影响因子：
--
通讯作者：
Thom W. Frühwirth
Thom W. Frühwirth
中科院分区：
--
文献类型：
--
作者：
Hariolf Betz;Thom W. Frühwirth

文献摘要

参考文献

被引文献

相似文献

约束处理规则（Constraint Handling Rules， CHR）编程语言的一个吸引人的特性是它的声明性语义，其中规则被读取为一阶谓词逻辑中的公式。然而，CHR作为一种通用编程语言使用得越多，这种声明性语义在建模更改中的局限性就越明显。我们提出了一种基于（直觉的）线性逻辑的替代声明语义，建立了关于新的声明语义w.r.t.操作语义的健全性和完备性的强定理。
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate logic. However, the more CHR is used as a general-purpose programming language, the more the limitations of that kind of declarative semantics in modelling change become apparent. We propose an alternative declarative semantics based on (intuitionistic) linear logic, establishing strong theorems on both soundness and completeness of the new declarative semantics w.r.t. operational semantics.
A Unified Semantics for Constraint Handling Rules in Transaction Logic
事务逻辑中约束处理规则的统一语义
DOI： 10.1007/978-3-540-72200-7_18
发表时间： 2007
期刊：
影响因子： --
作者：
Meister;Djelloul
通讯作者： Djelloul